Hindley/Milner

Hindley/Milner type systemとHaskell

延々とHaskellの勉強をしてきたけれど、その後でこれ(Functional Programming with Overloading and Higher-Order Polymorphism)を読むと、ああ、Type systemの勉強・Hindley/Milner type systemの勉強をしていたんだな、と解る が、Haskellの諸々の書き方を…