hindley-milner

A concise Hindley-Milner type inferencer (algorithm W) implemented with Scala

• Term.scala: syntax tree definition
• Parser.scala: simple parser to typed lambda expression
• Type.scala: Type definition
• Inferencer.scala: main Hindley-Milner type inferencer

Reference:

• http://okmij.org/ftp/ML/generalization.html
• http://dysphoria.net/2009/06/28/hindley-milner-type-inference-in-scala/