Along these lines, check out (and maybe quote) the July 2007 note from Doug McIlroy to the Haskell list: http://www.haskell.org/pipermail/haskell/2007-July/019632.html I've particularly been enjoying Doug's paper "The Music of Streams", mentioned in that note. - Conal On Mon, May 26, 2008 at 11:49 AM, Henning Thielemann < lemming@henning-thielemann.de> wrote:
On Mon, 26 May 2008, Brent Yorgey wrote:
Hi all!
In a couple weeks I will be giving a short (15-min.) talk to an audience of mostly mathematicians, entitled "Executable Mathematics: A Whirlwind Introduction to Haskell". The idea will be to give a flavor of Haskell, its uniquenesses, and why it is a great language for playing around with mathematics, by way of some well-chosen examples. There are definitely plenty of such examples out there, and I've already found quite a few that I might use, but I thought I would send an email to the cafe to ask whether anyone has any code which you think particularly exemplifies some aspect of why Haskell is a great language for mathematics. I'm looking to include a wide range of examples, so any length (from a few to hundreds of lines of code) and any level (from simple number theory to things only a few people in the world understand) are fair game.
The mathematical examples I like most are power series (including elegant solution of differential equations and series inversion) and computable real numbers.
http://hackage.haskell.org/cgi-bin/hackage-scripts/package/numeric-prelude
http://darcs.haskell.org/numericprelude/src/MathObj/PowerSeries/Differential...
http://darcs.haskell.org/numericprelude/docs/README
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe