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

[Alejandro Serrano Mena]

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-outsidein.pdf
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>