>>415
スモールトークはよく知らないけれど、
例えば、java.util.Collectionsにあるメソッド
public static void sort(List list,Comparator c)
はML風に型を書くと
'a list -> (('a * 'a) -> boolean) -> 'a list
と型つけできて、javaでこれを実現するためのインターフェースなのでは？
と言う感じ。
抽象クラスは関係ない。