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

[Achim Schneider]

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
around.


-- 
(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.