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