[Haskell-cafe] Re: Hiding side effects in a data structure

Jonathan Cast jonathanccast at fastmail.fm
Thu Nov 1 18:00:56 EDT 2007


On Thu, 2007-11-01 at 21:42 +0000, Jon Fairbairn wrote:
> "Hugh Perkins" <hughperkins at gmail.com> writes:
> 
> > On 10/26/07, John Meacham <john at repetae.net> 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.
> >>
> >
> > http://xkcd.com/242/
> >
> > 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




More information about the Haskell-Cafe mailing list