[Haskell-cafe] What is the rank of a polymorphic type?

David Menendez dave at zednenem.com
Sun Dec 6 23:43:29 EST 2009

On Sun, Dec 6, 2009 at 8:39 AM, Dan Doel <dan.doel at gmail.com> wrote:
> Apologies for the double-reply...
> Your mail prompted me to finally get around to adding a mono/polytype system
> to an interpreter I've been working on for pure type systems, to see what a
> GHC-alike type system would look like. Here's what I came up with.

Have you read "Henk: a typed intermediate language" by Simon Peyton
Jones and Erik Meijer? In section 4, they describe a PTS very similar
to yours.


Dave Menendez <dave at zednenem.com>

More information about the Haskell-Cafe mailing list