[Haskell-cafe] Comments from OCaml Hacker Brian Hurt

Derek Elkins derek.a.elkins at gmail.com
Thu Jan 15 18:14:36 EST 2009

Actually programming requires -far more- precision than mathematics ever
has.  The standards of "formal" and "precise" that mathematicians use
are a joke to computer scientists and programmers.  Communication is
also more important or at least more center stage in mathematics than
programming.  Mathematical proofs are solely about communicating
understanding and are not required to execute on a machine.

On Thu, 2009-01-15 at 18:27 +0000, Lennart Augustsson wrote:
> That's very true.  But programming is one where mathematical precision
> is needed, even if you want to call it something else.
> On Thu, Jan 15, 2009 at 6:04 PM, Paul Moore <p.f.moore at gmail.com> wrote:
> >
> > Mathematical precision isn't appropriate in all disciplines.
> >
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe

More information about the Haskell-Cafe mailing list