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