[Haskell-cafe] Q: haskell type inference algorithm paper

Alejandro Serrano Mena trupill at gmail.com
Tue Feb 25 13:46:40 UTC 2014

The current version of GHC does type inference by (an advanced version of)
the OutsideIn(X) algorithm.
You can check the original paper at
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 <xudifsd at gmail.com>:

> 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20140225/dcd3a9a1/attachment.html>

More information about the Haskell-Cafe mailing list