The current version of GHC does type inference by (an advanced version of)
the OutsideIn(X) algorithm.
You can check the original paper at
http://research.microsoft.com/en-us/um/people/simonpj/papers/constraints/jfp...
The initial algorithm was then enhanced with datatype promotion and closed
type families, which you can learn about in "Giving Haskell a Promotion"
and "Closed Type Families with Overlapping Equations".
2014-02-25 14:38 GMT+01:00 Di Xu
Hi, all
I'm new to haskell, I'm learning haskell for its type system, and I found haskell type inference is excellent, I'm interested in its type inference algorithm, could you give me some paper or material reference that describe the haskell type inference algorithm? I want to port it to typed clojure.
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe