[Haskell-cafe] A voyage of undiscovery

Andrew Coppin 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.

Ouch! >_<

I knew I'd be sorry I asked... Time for bed, I think!

More information about the Haskell-Cafe mailing list