
On Thu, 2007-11-01 at 21:42 +0000, Jon Fairbairn wrote:
"Hugh Perkins"
writes: On 10/26/07, John Meacham
wrote: Heh, the plethora of pdf papers on Haskell is part of what originally brought me to respect it. Something about that metafont painted cmr just makes me giddy as a grad student. A beautifully rendered type inference table is a masterful work of art.
Did I mention I was a little odd? I am sure I did.
Actually, yeah I kindof agree. It's quite interesting to see a language developed using rigorous, formal mathematical principles.
Lest anyone think otherwise, I most thoroughly approve of Haskell relying on rigorous foundations. I just want the foundations to be easy to inspect!
It doesn't strike me that math in HTML is easier to inspect than PDF. jcc