[Haskell-cafe] A voyage of undiscovery

Ross Mellgren rmm-haskell at z.odi.ac
Thu Jul 16 18:40:49 EDT 2009


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<andrewcoppin at btinternet.com> 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 at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe



More information about the Haskell-Cafe mailing list