[Haskell-cafe] Type system madness

Albert Y. C. Lai trebla at vex.net
Mon Jul 9 17:28:51 EDT 2007

Andrew Coppin wrote:
> I stand in awe of people who actually understand what "universal" and 
> "existential" actually mean... To me, these are just very big words that 
> sound impressive.

I offer to relieve that with http://www.vex.net/~trebla/allsome.txt

I think of formal logic as clarifying thought and semantics, cleaning up 
the mess caused by idiosyncracies in natural languages (both syntax and 
semantics) such as English. But not many people realize they are in a 
mess needing cleanup.

More information about the Haskell-Cafe mailing list