>>241
>これを静的型でやるにはどうする?って話で,、Comparatorが一番近いだろう、と。

Eiffel では比較用のメソッドを定義して
メソッドを引数として渡すと思う。