[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
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
More information about the Haskell-Cafe
mailing list