[Haskell-cafe] Very freaky

Andrew Coppin andrewcoppin at btinternet.com
Thu Jul 12 14:10:00 EDT 2007


Bernie Pope wrote:
>
> On 12/07/2007, at 4:43 AM, Andrew Coppin wrote:
>
>> Bernie Pope wrote:
>>>
>>> This reminds me of a little joke that Conor McBride had in a post a 
>>> while ago:
>>>
>>>    unJust :: Maybe wmd -> wmd
>>
>> Oh, very good!
>>
>> I must write that down somewhere...
>
> I tell it to my Haskell students each semester and it usually gets a 
> giggle. I also ask them why is it possible to write jokes in Haskell's 
> types, which often leads to some interesting discussions about logic 
> and the nature of jokes etc.

I told it to the guys on the POV-Ray forum.

Sadly, I think most of them have by now set up filters to delete all 
posts containing words such as "Haskell"...



More information about the Haskell-Cafe mailing list