GCamlと言うものを昔作っていたのですが、それから5年間、大学に身を置いていた(学生という訳ではない)のに、深く考え直す機会がありませんでした。
不思議なもので大学やめて会社員になったら、かえって考える余裕が生まれてきました。市場が閉まればボチボチ終業、残業無し、そして、機密保持のために家には仕事を持って帰れない、というメリハリがよいようです。
とうわけで、GCamlをモ一度見直そうと思ってます。綺麗に実装すればtype class風の物も一緒に実装できるはず、、、この頃この辺りの論文をフォローしてないので、理論的には面白いか、どうか、判りませんが。
