Re: [Haskell-cafe] A voyage of undiscovery

Is "everything" an acceptable answer? -Ross On Jul 16, 2009, at 6:38 PM, Derek Elkins wrote:

On Thu, Jul 16, 2009 at 2:52 PM, Andrew Coppin wrote:

...

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 are...

The answer to your questions are on the back of this T-shirt. http://www.cafepress.com/skicalc.6225368 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe