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

[Jonathan Cast]

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.

jcc