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

[Henning Thielemann]

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
 http://www.haskell.org/pipermail/haskell-cafe/2005-January/008893.html

I've collected some examples of abuse and bad mathematical notation:
 http://www.math.uni-bremen.de/~thielema/Research/notation.pdf