Hindley/Milner type systemとHaskell

  • 延々とHaskellの勉強をしてきたけれど、その後でこれ(Functional Programming with Overloading and Higher-Order Polymorphism)を読むと、ああ、Type systemの勉強・Hindley/Milner type systemの勉強をしていたんだな、と解る
  • が、Haskellの諸々の書き方を知っていることが、この文書を読むためには役に立つので、Haskellの型とか型クラスを一通りやってから、読むとよいようだ