[Haskell-cafe] Re: Why purely in haskell?

Achim Schneider barsoap at web.de
Sat Jan 12 02:16:12 EST 2008

Jonathan Cast <jonathanccast at fastmail.fm> wrote:

> On 11 Jan 2008, at 5:13 AM, Achim Schneider wrote:
> > Jonathan Cast <jonathanccast at fastmail.fm> wrote:
> >> What kind of mathematics?  I don't know of any mathematics where
> >> algebraic simplifications are employed without proof of the
> >> underlying equations (in some denotational model).
> >>
> > Mathematics as, as my professor put it, "Solving by staring".
> Professor of what?  I would have been flunked for such an approach.
Professor as in "gives lectures", he's a Dipl. Ing... and also also as
in "got a Job for life", although not formally. I think his main point
in telling it is to stop people from blindly expanding and reducing

(c) this sig last receiving data processing entity. Inspect headers for
past copyright information. All rights reserved. Unauthorised copying,
hiring, renting, public performance and/or broadcasting of this
signature prohibited. 

More information about the Haskell-Cafe mailing list