>>> (.) (.) #-)
>>
>> Apart from the final close-bracket, this is a valid Haskell expression.
>> Isn't that wonderful? (Of course, it doesn't actually type-check, since
>> the type of (.)(.) is (a1 -> b -> c) -> a1 -> (a -> b) -> a -> c,
>> whereas the type of #- is Int# -> Int# -> Int#.)
>
> I knew that, of course. </lie>

Heh. I sound like one of those guys who looks at a pair of boobies and 
makes some comment about biology or evolution or something, while all 
the other men in the room are thinking "mmm, boobies..."

Post a reply to this message