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

Jonathan Cast wrote:

On 11 Jan 2008, at 5:13 AM, Achim Schneider wrote:

...

Jonathan Cast 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.