lambda-calculus

13गर्मी

1उत्तर

चर्च-रॉसर प्रमेय उदाहरण एक कार्यात्मक प्रोग्रामिंग भाषा में

मैंने Church Rosser theorem के लिए कई संदर्भ देखे हैं, और विशेष रूप से डायमंड प्रॉपर्टी आरेख, कार्यात्मक प्रोग्रामिंग सीखते समय, लेकिन मुझे एक महान कोड उदाहरण नहीं मिला है। यदि हास्केल जैसी भाषा को लै

haskell functional-programming ml lambda-calculus 2012-05-23

---

13गर्मी

1उत्तर

लैम्बडा नोटेशन के साथ यह समीकरण क्या है "एम >> एन = एम >> = \ _ -> एन" मोनड की घोषणा में?

class Monad m where return :: a -> m a (>>=) :: m a -> (a -> m b) -> m b (>>) :: m a -> m b -> m b m >> n = m >>= \_ -> n fail :: String -> m a मैंने पहले टाइपक्लास में समी

haskell lambda monads lambda-calculus 2011-12-31

---

9गर्मी

1उत्तर

मुक्त चर के डी Bruijn सूचकांक खोजने के लिए नामकरण संदर्भ का उपयोग कैसे करें?

"प्रकार और प्रोग्रामिंग भाषाएं" में, खंड 6.1.2 वे नामकरण संदर्भ के बारे में बात करते हैं जो लैम्ब्डा अभिव्यक्तियों में मुफ्त चरों के लिए उपयोग किया जाता है। उदाहरण प्रदान की गई योजना योजना का उपयोग कर

lambda-calculus 2012-02-26

---

9गर्मी

1उत्तर

सिस्टम-एफ में कुछ प्रकार और/या शर्तें क्या हैं जिन्हें हिंडले मिलनर

में व्यक्त नहीं किया जा सकता है मुझे याद है कि हिंडली मिलनर सिस्टम-एफ पर प्रतिबंध था। यदि ऐसा है, तो कृपया कोई मुझे कुछ शर्तों के साथ प्रदान कर सकता है जिसे सिस्टम-एफ में टाइप किया जा सकता है लेकिन एच

types type-inference lambda-calculus hindley-milner 2012-03-01

---

20गर्मी

2उत्तर

"फ्री वैरिएबल" क्या है?

(मुझे यकीन है कि इस साइट पर पहले से ही इसका उत्तर दिया जाना चाहिए था, लेकिन खोज सी) में एक चर पर मुफ्त() को कॉल करने की अवधारणा के साथ गड़बड़ हो जाती है। मैं "ईटा कमी" शब्द में आया था, जिसे f x = M x

haskell functional-programming lambda-calculus 2012-01-13

---

5गर्मी

3उत्तर

एक Combinator के प्रकार के हस्ताक्षर इसके समकक्ष लैम्ब्डा समारोह के प्रकार के हस्ताक्षर से मेल नहीं खाता

इस Combinator पर विचार करें: S (S K) तर्कों को लागू करें XY:: S (S K) X Y यह करने के लिए अनुबंध X Y मैंने एस (एसके) को इसी लैम्ब्डा शर्तों में परिवर्तित कर दिया और परिणाम मिला: (\x y -> x y) म

haskell lambda-calculus combinators type-signature combinatory-logic 2012-03-06

---

7गर्मी

3उत्तर

अनियमित लैम्ब्डा कैलकुस

में उच्च प्रकार के प्रकार (मोनैड!) को एम्बेड करना उच्च आदेश कार्यों के माध्यम से अनियमित लैम्ब्डा कैलकुस में विभिन्न प्रकारों को एन्कोड करना संभव है। Examples: zero = λfx. x one = λfx. fx two = λ

haskell functional-programming monads lambda-calculus untyped-variables 2012-01-19

---

5गर्मी

1उत्तर

क्या इस Combinator करता है: रों (sk)

मैं अब s (s k) के प्रकार के हस्ताक्षर को समझने: s (s k) :: ((t1 -> t2) -> t1) -> (t1 -> t2) -> t1 और मुझे लगता है कि हास्केल WinGHCi उपकरण में त्रुटि के बिना काम उदाहरण बना सकते हैं: उदाहरण: s (s k)

haskell lambda lambda-calculus combinators combinatory-logic 2012-03-12

---

7गर्मी

1उत्तर

लैम्ब्डा पथरी:

currying के बिना एक पैरामीटर के लिए दो मान पास मैं नहीं समझ सकता क्यों निम्नलिखित बीटा कमी untyped लैम्ब्डा पथरी में अनुमति दी है: (λx.x y) (u v) -> ((u v) y) विशेष रूप से मैं नहीं समझ सकता कैसे एक

currying lambda-calculus 2011-12-07

---

6गर्मी

1उत्तर

लैम्ब्डा पथरी अभिव्यक्ति को लागू समारोह आवेदन

मैं सिर्फ निम्नलिखित लैम्ब्डा पथरी अभिव्यक्ति पाया: (((λ f . (λ x . (f x))) (λ a . a)) (λ b . b)) तो है कि एक समारोह है कि एक तर्क च लेता है और एक अन्य समारोह है कि एक तर्क एक्स लेता है और एक्स के प

lambda functional-programming lambda-calculus higher-order-functions combinators 2012-02-01

---