プログラミング勉強日記

勉強したことを書きます。Haskellとか。

2016-04-13から1日間の記事一覧

ラムダ計算の練習

今日は型システム入門第5章のラムダ計算でのプログラミングを読んでいます。 その読書メモです。 ラムダ式の項の種類 x (変数) λx. t (ラムダ抽象) t t (関数適用) 変数のスコープ f = λx. x (λx. x)上記ラムダ式の赤文字のxと青文字のxは別物。 fにaを適用…