ラムダ式について勉強する機会があったのでメモ。ラムダ計算について前々から興味はあったのだが、残念ながら日本語による良質な書籍を私は知らない。ので勉強した内容をまとめてみました。 ラムダ計算の名を冠した本に高橋正子先生の本がある。計算論 計算…

Haskell でラムダ式を簡約させてみる - 1 - pragma666の日記ここからはラムダ式を Haskell で表現していく。 そのためには幾つかの定義が必要だが、全ての定義は Hindley の著書 Lambda-Calculus and Combinators: An Introduction から拝借させて頂いた。La…