How to Make Ad-Hoc Polymorphism Less Ad Hocという論文を（途中まで）読んだ。Ad-hoc Polymorphismを実現するために、type classという新しい概念を導入しよう、という話。著者は Philip Wadler。 そもそも、Haskellで出てきたtype classという概念につい…