2006-10-31から1日間の記事一覧

combinatory logic

研究開発 diary

コンビネータ論理を色々といじった。 分かった事:コンビネータ論理をそれなりにマトモに扱うには遅延評価が必須(多分)。 やりなおしだ……。