型クラス

ダメさ

1. 困ったバンドリング→ 分離分割する。
2. 困ったエンタングルメント →絡み合い・もつれ合いをほどく。
3. Coqの場合は、名前が漏出する。

骨絡みの欠陥なので、修復不可能。再設計、再実装。名前管理・オーバーロード機能と構造記述機能を別に持つ。

MLの型クラスがモジュールシステムなのは、メリットにもなりる→2つのシステムを持たずに単一のシステムでまかなう。→単純化。

MLファンクタはデザインパターンのアダプターパターンをインターフェイスtoインターフェイスとしたようなもの。