Lazy K は S, K, I の三文字 (と括弧) だけで記述することのできる難読プログラミング言語です。 Brainfuck や Whitespace などの手続き型の難読言語と異なり、 Lazy K は関数型がベースとなっており、難読言語の中でも書くのがかなり難しい言語と思われます。 一方、 Brainfuck がチューリングマシンをベースにしているように、 Lazy K もコンビネータ計算と呼ばれる計算モデルをベースにしており、ある意味「究極の関数型言語」と呼べるような美しさもあります。 本書では Lazy K を書く上で必須となるλ計算の簡単なチュートリアルから、実際に Lazy K プログラムを書く (生成する) までを扱います。
![λ計算から始める Lazy K](https://cdn-ak-scissors.b.st-hatena.com/image/square/b1f70d271cc6f82b285038b57911e646780994c5/height=288;version=1;width=512/https%3A%2F%2Fres.cloudinary.com%2Fzenn%2Fimage%2Fupload%2Fs--gkNBqHj9--%2Fg_center%252Ch_280%252Cl_fetch%3AaHR0cHM6Ly9zdG9yYWdlLmdvb2dsZWFwaXMuY29tL3plbm4tdXNlci11cGxvYWQvYm9va19jb3Zlci85NjJmY2Y4NTU0LmpwZw%3D%3D%252Cw_200%2Fv1627283836%2Fdefault%2Fog-base-book_yz4z02.jpg)