[Haskell-cafe] Musings on type systems

Sterling Clover s.clover at gmail.com
Fri Nov 19 19:15:57 EST 2010

On Nov 19, 2010, at 6:22 PM, Aaron Gray wrote:

> IIRC It Does not deal Hindley-Milner type system at all. i.e. it does not cover ML's type system.
> Its successor ATTAPL :-
>     http://www.cis.upenn.edu/~bcpierce/attapl/index.html
> Handles an ML like type systems using constraints.

TAPL certainly covers the basic ML system -- which is pretty much the typed lambda calculus with first order polymorphism. What it doesn't do is cover type inference (or "reconstruction") in any depth, although it does actually sketch at least one algorithm for HM type inference (including constraints) -- see chapter 22. You're right that ATTAPL covers much more in the realm of type inference, as well as plenty else.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20101119/4599aad6/attachment.html

More information about the Haskell-Cafe mailing list