[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