以下、拾い読みした感じこうなのかなあってのを書いただけだからあってるのかよく知らない。例えば簡約前がこうだとすると、 (λxy.(λz.y((λu.u)z))x)vweak head normal form はλ抽象された中身のλ式は簡約しなくてよい。 λy.(λz.y((λu.u)z))vhead normal for…

最近関数プログミラング入門を読んでるのだけど、擬リストって概念が新鮮だったのでメモ。 関数プログラミング入門 ―Haskellで学ぶ原理と技法―Richard Bird 山下伸夫 予備知識 擬リストの話をするのに必要な概念がボトムとか正格性とか。ボトムとは値の1つで…