[Haskell-cafe] A voyage of undiscovery
andrewcoppin at btinternet.com
Thu Jul 16 16:29:46 EDT 2009
Andrew Coppin wrote:
> Awesome. So by attempting to implement Haskell's type system, I have
> discovered that I actually don't understand Haskell's type system.
> Who'd have thought it?
> Clearly I must go consult the Report and check precisely what the
> rules are...
I just read section 4.5 of the Haskell 98 Report.
I knew I'd be sorry I asked... Time for bed, I think!
More information about the Haskell-Cafe