http://www.cis.upenn.edu/~bcpierce/papers/modules-icfp.ps モジュール間の参照をどう扱うか？1.はスケールしない。2, 3を使おう。 parameterization on modules -> functor sharing by specification -> reference the module direct sharing by paramete…

FRPにも色々実装があるみたいだけど、私的にはこれ（http://conal.net/papers/simply-reactive/）がThe FRPのような気がしてきた。簡単さ、動作効率の両面で。実践にも即してるし。 [追記] FutureをいんちきしてReactとEventを実装してみた（Eventの>>=がま…

私はOCaml, haXe, Scalaを勉強してきましたが、この三つの言語では構造的部分型がサポートされています。せっかくだから三言語の構造的部分型の特徴を比較してみることにしました。 OCamlは全て型推論してくれる代わりに部分型への変換は明示的。部分型変換…