Lazy K プログラムを書く - QiitaLazy K プログラムを書く 難読プログラミング言語 Lazy K でプログラムを書いてみたので、その時に学 んだことなどを記録しておきます。 λ計算を使いますが、紹介するので知らなくても読めます。 前提知識 関数型プログラミングの基本的なアイデア (再帰、無名関数、高階関数など) λ計算超入門 λ計算 is 何 Lazy K を理解するためには、λ計算を知っている必要があります。 λ計算は、簡単に言えば「めちゃめちゃシンプルな関数型言語」です。シンプ ルすぎるので整数型もなければリスト型もありませんが、それでも十分な計算 能力があることが証明されています (あとでその片鱗を見ていきます)。 λ計算はそのシンプルさのために数学的に扱いやすく、プログラミング言語と しては実用性がないものの、理論面の研究で利用されます。 λ計算の構文 λ計算にあるのは１引数の無名関数と関数呼び出しの２つだけ
