combinators

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

---

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

---

5गर्मी

1उत्तर

क्लोजर मिश्रित धर्मार्थ कार्यों की एक श्रृंखला का मूल्यांकन कर सकता है और यदि आवश्यक हो तो आंशिक कार्य वापस कर सकता है?

मान लीजिए आप arity 1, 2 के तीन कार्य करता है और नीचे के रूप में 3 है: (defn I [x] x) (defn K [x y] x) (defn S [x y z] (x z (y z))) clojure एक मूल्यांकन समारोह या मूल्यांकन के लिए मुहावरा है: (I K

clojure partial lambda combinators arity 2012-08-11

---

26गर्मी

4उत्तर

कॉम्बिनेटरी विधि टैप की तरह, लेकिन एक अलग मूल्य वापस करने में सक्षम?

मैं अस्थायी चर से बचने और सशर्त के अधिक उपयोग से बचने की कोशिश करने के चरण के माध्यम से जा रहा हूं जहां मैं कोडिंग की अधिक तरल पदार्थ शैली का उपयोग कर सकता हूं। मैंने उन जगहों पर #tap का उपयोग करने के

ruby theory combinators 2011-10-24

---

6गर्मी

1उत्तर

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

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

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

---

5गर्मी

1उत्तर

जावास्क्रिप्ट

मैं जावास्क्रिप्ट में Cominators के साथ नगण्य था में स्की-combinators की अवधि में वाई व्यक्त करते और (उम्मीद) जब मैं विकिपीडिया पर ठोकर खाई कह काम करने के लिए एस होने का गर्व किया जा रहा था: "Y Combin

javascript combinators y-combinator combinatory-logic 2011-09-09

---

6गर्मी

1उत्तर

क्या प्रस्तुत किए गए मामले को एक लूप में अनुकूलित किया जा सकता है?

मान लीजिए मेरे पास दो कार्य f :: [a] -> b और g :: [a] -> c हैं। अगर मैं प्रदर्शन (f &&& g) xs जहां xs :: [a], और अगर दोनों f और g छोरों शामिल है, यह संभव संकलक के बाद इन दोनों छोरों का अनुकूलन करने के

haskell functional-programming combinators 2012-02-08

---

6गर्मी

2उत्तर

क्या इस संयोजक का नाम है?

यह फ़ंक्शन f एक तर्क सूची स्वीकार करता है और उसी तर्क सूची के साथ एक और कॉल करने योग्य देता है, ताकि अन्य कार्यों को लागू किया जा सके। from operator import add, mul def f(*a, **kw): return lamb

python function combinators 2011-11-08

---

12गर्मी

4उत्तर

जीएचसी इतनी उलझन में क्यों ठीक करता है?

GHC स्रोत कोड को देखते हुए मैं देख सकता हूँ कि ठीक के लिए परिभाषा है: fix :: (a -> a) -> a fix f = let x = f x in x एक उदाहरण ठीक इस तरह प्रयोग किया जाता है: fix (\f x -> let x' = x+1 in x:f x')

haskell recursion fixed-point combinators y-combinator 2012-10-21

---

8गर्मी

5उत्तर

पॉइंटफ्री शैली में फ़ंक्शन लिखने के लिए सामान्य योजना क्या है?

मैं इस समय 20 Intermediate Haskell Exercises के माध्यम से काम कर रहा हूं, जो कि एक मजेदार व्यायाम है। इसमें टाइपक्लास Functor और Monad (और Functor एस और Monad एस तर्क के रूप में कार्य करने वाले फ़ंक्श

haskell higher-order-functions combinators pointfree 2011-12-30

---