λ計算から始める Lazy K

λ計算から始める Lazy K

無料で読める本

Lazy K は S, K, I の三文字 (と括弧) だけで記述することのできる難読プログラミング言語です。 Brainfuck や Whitespace などの手続き型の難読言語と異なり、 Lazy K は関数型がベースとなっており、難読言語の中でも書くのがかなり難しい言語と思われます。 一方、 Brainfuck がチューリングマシンをベースにしているように、 Lazy K もコンビネータ計算と呼ばれる計算モデルをベースにしており、ある意味「究極の関数型言語」と呼べるような美しさもあります。 本書では Lazy K を書く上で必須となるλ計算の簡単なチュートリアルから、実際に Lazy K プログラムを書く (生成する) までを扱います。

Author
zk_phi

プログラミング言語に興味があります

Topics
¥0今すぐ読む
公開
本文更新
文章量
37,054
価格
0