Haskell でPolymorphism をふと調べてみたら、ちょっと面白いことを発見。Haskell では、たとえば、リストの長さを返す関数を書くときに以下のように書く。 length :: [a] -> Int これは Polymorphic 函数で、a であらわされる型にはさまざまな異なる型が入…