Advanced Module Systems

http://www.cis.upenn.edu/~bcpierce/papers/modules-icfp.ps
モジュール間の参照をどう扱うか？1.はスケールしない。2, 3を使おう。

1. parameterization on modules -> functor
2. sharing by specification -> reference the module direct
3. sharing by parameterization on types -> type class

ファンクターは柔軟過ぎるんだな、きっと。