読者です 読者をやめる 読者になる 読者になる

Lazy K 基礎文法最速マスター

Unlambda記法

適用

`FG

F、Gは任意の式。

コンビネータ計算記法

適用

(FG)

F、Gは任意の式。

Iota記法

適用

*FG

F、Gは任意の式。

Jot記法

  • 空白のコード → 恒等関数
  • X0 → X S K
  • X1 → S (K X)

Xは任意の式で、S、Kはコンビネータ