combinatory-logic

5El calor

3Respuesta

El tipo de firma de un combinador no coincide con la firma de tipo de su función Lambda equivalente

consideran este combinador: S (S K) aplicarlo a los argumentos XY: S (S K) X Y Se contrae a: X Y Convertí S (SK) a los términos Lambda correspondientes y obtuve este resultado: (\x y -> x y) h

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

---

5El calor

1Respuesta

Lo que hace esto combinador hacer: s (SK)

Ahora entiendo la firma tipo de s (s k): s (s k) :: ((t1 -> t2) -> t1) -> (t1 -> t2) -> t1 Y puede crear ejemplos que funcionan sin error en la herramienta de Haskell WinGHCi: Ejemplo: s (s k) (\g -

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

---

5El calor

1Respuesta

Expresando Y en términos de SKI-Combinators en JavaScript

Estaba jugando con Cominators en JavaScript y estaba orgulloso (con suerte) de que S funcionara cuando me encontré con Wikipedia diciendo: "El combinador Y se puede expresar en el SKI- cálculo como: Y

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

---