2016-09-12から1日間の記事一覧
Haskell でラムダ式を簡約させてみる - 1 - pragma666の日記 Haskell でラムダ式を簡約させてみる - 2 - pragma666の日記 前回は自由変数の判定を行う関数を定義した。次はβ簡約の中心的な役割を担う、λ項の置換を定義する。 置換の定義 再び Hindley の教科…
Haskell でラムダ式を簡約させてみる - 1 - pragma666の日記 Haskell でラムダ式を簡約させてみる - 2 - pragma666の日記 前回は自由変数の判定を行う関数を定義した。次はβ簡約の中心的な役割を担う、λ項の置換を定義する。 置換の定義 再び Hindley の教科…