サブタイプで制約として表現するのは，意外と扱いやすかったのかもしれないなあ，と思い出したぞ．どうしたらいいんだ・・・

http://www.artima.com/weblogs/viewpost.jsp?thread=101605 http://www.rubyist.net/~matz/20050331.html#p01 マルチメソッドって，adhoc polymorphismのことだったのか・・・な？パターンマッチみたいな構文を導入すれば，Ruby(Duck Typing)でもできそうな…