Lazy K は S, K, I の三文字 (と括弧) だけで記述することのできる難読プログラミング言語です。

Brainfuck や Whitespace などの手続き型の難読言語と異なり、 Lazy K は関数型がベースとなっており、難読言語の中でも書くのがかなり難しい言語と思われます。

一方、 Brainfuck がチューリングマシンをベースにしているように、 Lazy K もコンビネータ計算と呼ばれる計算モデルをベースにしており、ある意味「究極の関数型言語」と呼べるような美しさもあります。

本書では Lazy K を書く上で必須となるλ計算の簡単なチュートリアルから、実際に Lazy K プログラムを書く (生成する) までを扱います。

λ計算から始める Lazy K

速習・λ計算

Lazy K とは

自然数を表現する

リストを表現する

ついに "Hello, World!"

条件分岐

再帰呼び出し

自然数を表示する

prolog

ラムダ計算

lazyk

zk_phi