この記事は CAMPHOR- Advent Calendar 18日目の記事です.
「Typing Haskell in Haskell (通称 thih)」から型クラスを含んだ型推論のエッセンスを紹介したいと思います. 多少専門的な内容ですが,なるべく多くの人に理解してもらえるように頑張ります.
論文のホームページは以下になります.論文本体とオリジナルの実装が利用できます.
Mark P Jones: Typing Haskell in Haskell
続きを読むこの記事は CAMPHOR- Advent Calendar 18日目の記事です.
「Typing Haskell in Haskell (通称 thih)」から型クラスを含んだ型推論のエッセンスを紹介したいと思います. 多少専門的な内容ですが,なるべく多くの人に理解してもらえるように頑張ります.
論文のホームページは以下になります.論文本体とオリジナルの実装が利用できます.
Mark P Jones: Typing Haskell in Haskell
続きを読む