詩と創作・思索のひろば

ドキドキギュンギュンダイアリーです!!!

2014-07-31から1日間の記事一覧

ブラウザで動くラムダ計算器を作った(Scala で)

最近 Types and Programming Languages を読んでいて、はじめは我慢していたものの、やはりラムダ式の簡約をコンピュータで確認したい気持ちが高まってきたので、ブラウザで動くものを書いてみた。この本には OCaml による実装の章がときどき挟まれるので、…