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

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