combinatory-logic

5熱度

1回答

在JavaScript中使用SKI組合器表示Y

我在JavaScript中擺弄Cominators，並且當我偶然發現維基百科說：「Y組合器可以在SKI-積分爲：Y = S（K（SII））（S（S（KS）K）（K（SII）））」，所以我不得不嘗試： var I = function (x) { return x; }; var K = function (x) { return function(){

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

---

4熱度

1回答

如何將字符串解析爲GADT

我試圖在Haskell中實現組合邏輯，並且我想寫入語言的解析器。我無法通過Parsec解析器工作。基本的問題是我需要一種方法來確保解析器返回的對象輸入正確。有沒有人有關於如何做到這一點的創意？ {-# Language GeneralizedNewtypeDeriving #-} import qualified Data.Map as Map import qualified Text.P

haskell parsec gadt combinatory-logic 2012-10-17

---

1熱度

1回答

可以使用SKI組合子表達XOR嗎？

我對SKI-Combinators有疑問。 僅可使用S和K組合子表達異或（不包括）還是僅使用S和K？ 我 True = Cancel False = (Swap Cancel) 其中 Cancel x y = K x y = x Swap: ff x y = S ff x y = ff y x

boolean logic lambda-calculus combinators combinatory-logic 2016-05-09

---

5熱度

3回答

一個組合子的類型簽名不匹配等值lambda函數的類型簽名

考慮這個組合子： S (S K) 它應用到的參數XY： S (S K) X Y 它收縮到： X Y 我將S（SK）轉換爲相應的Lambda條款並得到了如下結果： (\x y -> x y) 我用哈斯克爾WinGHCi工具來獲得（\ x和y - > x和y）的類型簽名，它返回： (t1 -> t) -> t1 -> t 這對我來說很有意義。 接下來，我用WinGHCi得到S（S

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

---