Route 477(2013-04-17)

■ [haskell][types] Haskellの型クラスの実現方法について調べてみた 型クラスの実装について調べていたら、1988年の「How to make ad-hoc polymorphism less ad hoc」という論文に行き当たった。 http://homepages.inf.ed.ac.uk/wadler/topics/type-classes.html (How to make ad-hoc polymorphism less ad hoc) (Macだとpsファイルがそのまま開けるようです) これによると、型クラスを使ったHaskellプログラムは、型クラスを使わない(代数的データ型のみの)プログラムに変換できるそうだ。*1 内容は、Haskellのclass構文とinstance構文の使い方を知っている人なら、上から順に読んでいけば理解できると思います。実装の

[uehaj]

リンク先 https://gist.github.com/yhara/5401423 と合わせ、型クラスについての日本語での最良の説明(自分が探した限り)。他のでは全く理解できなかった