読者です 読者をやめる 読者になる 読者になる

osiire’s blog

ふしぎなそふとやさん

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

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