Haskell/Polymorphism - Wikibooks, open books for an open world 型システムはその表現力に関して、rank-1, rank-2, rank-n として分類されるのだそうだ。一般に rank-n type とは、少なくともひとつのrank-(n-1の引数を持ちかつそのランクより高い引数は…

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