>>424
それはstructural polymorphism(構造的多相性)ってやつで、
一種のポリモーフィズムですね。
MLスレッドだから、暗黙にMLを前提としてしまっていて、
MLにあるポリモーフィズムはパラメトリックポリモーフィズムというやつで
(MLには部分型がないので)sortなんかがその例です。
sortには関数を渡したいんだけど、Javaではメソッドを値として
扱えないから、interface使ってその代用をするんでしょ。
メソッドがあることの保証は意味論とは別の観点っす。
そう説明してある本も多いけど。