2016-01-01から1年間の記事一覧
Haskell でラムダ式を簡約させてみる - 1 - pragma666の日記 Haskell でラムダ式を簡約させてみる - 2 - pragma666の日記 前回は自由変数の判定を行う関数を定義した。次はβ簡約の中心的な役割を担う、λ項の置換を定義する。 置換の定義 再び Hindley の教科…
ラムダ式について勉強する機会があったのでメモ。ラムダ計算について前々から興味はあったのだが、残念ながら日本語による良質な書籍を私は知らない。ので勉強した内容をまとめてみました。 ラムダ計算の名を冠した本に高橋正子先生の本がある。計算論 計算…
Haskell でラムダ式を簡約させてみる - 1 - pragma666の日記ここからはラムダ式を Haskell で表現していく。 そのためには幾つかの定義が必要だが、全ての定義は Hindley の著書 Lambda-Calculus and Combinators: An Introduction から拝借させて頂いた。La…
