[Haskell-cafe] Haskell's type system

Ron Alford ronwalf at volus.net
Tue Jun 17 16:40:51 EDT 2008

I'm trying to wrap my head around the theoretical aspects of haskell's
type system. Is there a discussion of the topic separate from the
language itself?

Since I come from a rather logic-y background, I have this
(far-fetched) hope that there is a translation from haskell's type
syntax to first order logic (or an extension there-of).  Is this done?


More information about the Haskell-Cafe mailing list