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

On Fri, 28 Jan 2005, Iavor Diatchki wrote:

Hello,

On Fri, 28 Jan 2005 10:01:33 -0500, Jacques Carette 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