[Haskell-cafe] A voyage of undiscovery

Andrew Coppin andrewcoppin at btinternet.com
Thu Jul 16 15:52:40 EDT 2009

Ross Mellgren wrote:
> It's not where -- let also works
> Prelude> let { foo x = x } in (foo 1, foo True)
> (1,True)

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 

More information about the Haskell-Cafe mailing list