[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