[Haskell-cafe] Re: [Haskell] Typing in haskell and mathematics

Henning Thielemann lemming at henning-thielemann.de
Fri Jan 28 13:28:45 EST 2005

On Fri, 28 Jan 2005, Iavor Diatchki wrote:

> Hello,
> On Fri, 28 Jan 2005 10:01:33 -0500, Jacques Carette <carette at mcmaster.ca> wrote:
> > The previous post on record syntax reminded me of some 'problems' I had noticed where Haskell and mathematics have a
> > (deep) usage mismatch.
> It is interesting that my sentiment is exactly the opposite.
> Mathematicians (the applied kind, not the pure) tend to be quite
> sloppy about their notation relaying _a lot_ on the context and the
> fact that people know what they are talking about.   I find that this
> makes their explanations harder to  understand rather than easier.

This seems to be related to what I wrote yesterday

I've collected some examples of abuse and bad mathematical notation:

More information about the Haskell-Cafe mailing list