過去何回かぱらっとめくったくらいで置いておいたConcepts, Techniques and Models of Computer Programmingという本を去年の終わりあたりに少し真面目に読み始めた。 なぜか時々「ポストSICP」と言われる本で、CSの根幹部分の一つを書き表した大作・名著で…

去年の終わり頃からReason MLよろしくOCamlのシンタックスをいじった言語の仕様を考えている。 github.com 今のところ新規性はまったくなく、OCamlと100%互換性がある言語仕様を目指している。（ただし今のところオブジェクト関連の機能についてはまったくノ…