combinatory-logic

5ısı

1cevap

yapın: s (sk)

Şimdi s (s k) tipi imzasını anlıyorum: s (s k) :: ((t1 -> t2) -> t1) -> (t1 -> t2) -> t1 Ve Haskell WinGHCi aracında hata olmadan çalışabilir örnekler oluşturabilirsiniz: Örnek: s (s k) (\g -> 2) (\

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

---