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