considerare questo combinatore: S (S K)
applicarlo agli argomenti XY: S (S K) X Y
Esso si contrae a: X Y
Ho convertito S (SK) nei termini Lambda corrispondenti e ottenuto questo risultato: (\x y
ora capisco la firma tipo di s (s k): s (s k) :: ((t1 -> t2) -> t1) -> (t1 -> t2) -> t1
e posso creare esempi che funzionano senza errori nello strumento Haskell WinGHCi: Esempio: s (s k) (\g -> 2)
Stavo armeggiando con i Cominator in JavaScript ed ero orgoglioso di (si spera) riuscendo a far funzionare S quando mi sono imbattuto in Wikipedia dicendo: "Il combinatore Y può essere espresso nello
Concetto Io sono l'attuazione di un interprete che consente all'utente di definire arbitraria combinators e li applica ai termini arbitrari. Ad esempio, un utente può definire il Church encoding for p