16 Jul
2009
16 Jul
'09
4:29 p.m.
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!