[Haskell-cafe] Re: [Haskell] Typing in haskell and mathematics
lemming at henning-thielemann.de
Fri Jan 28 13:28:45 EST 2005
On Fri, 28 Jan 2005, Iavor Diatchki wrote:
> 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