इस Combinator पर विचार करें: S (S K)
तर्कों को लागू करें XY:: S (S K) X Y
यह करने के लिए अनुबंध X Y
मैंने एस (एसके) को इसी लैम्ब्डा शर्तों में परिवर्तित कर दिया और परिणाम मिला: (\x y -> x y)
म
मैं अब s (s k) के प्रकार के हस्ताक्षर को समझने: s (s k) :: ((t1 -> t2) -> t1) -> (t1 -> t2) -> t1
और मुझे लगता है कि हास्केल WinGHCi उपकरण में त्रुटि के बिना काम उदाहरण बना सकते हैं: उदाहरण: s (s k)
मैं जावास्क्रिप्ट में Cominators के साथ नगण्य था में स्की-combinators की अवधि में वाई व्यक्त करते और (उम्मीद) जब मैं विकिपीडिया पर ठोकर खाई कह काम करने के लिए एस होने का गर्व किया जा रहा था: "Y Combin