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. Thanks in advance! And yes, I will definitely make the slides available after the talk. I don't know if I can promise a video, I kind of doubt the sessions will be videotaped. I guess we'll see. -Brent
byorgey:
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.
Thanks in advance! And yes, I will definitely make the slides available after the talk. I don't know if I can promise a video, I kind of doubt the sessions will be videotaped. I guess we'll see.
Something from, http://haskell.org/haskellwiki/Haskell_and_mathematics ?
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
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
On Monday 26 May 2008 1:08:49 pm 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.
Thanks in advance! And yes, I will definitely make the slides available after the talk. I don't know if I can promise a video, I kind of doubt the sessions will be videotaped. I guess we'll see.
-Brent
You might find http://changelog.complete.org/posts/339-Why-I-Love-Haskell-In-One-Simple-Exa... interesting. It may not be exactly what you are looking for. There will likely be an extended (and refined) presentation of this in Real World Haskell. -- John
Might be way too simple, but for pure elegance, the classic algorithm for
b-smooth numbers never ceases to make me feel all warm and fuzzy:
http://conway.rutgers.edu/~ccshan/wiki/blog/posts/Hamming/
--S
On Tue, May 27, 2008 at 9:48 AM, John Goerzen
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
On Monday 26 May 2008 1:08:49 pm Brent Yorgey wrote: 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.
Thanks in advance! And yes, I will definitely make the slides available after the talk. I don't know if I can promise a video, I kind of doubt the sessions will be videotaped. I guess we'll see.
-Brent
You might find
http://changelog.complete.org/posts/339-Why-I-Love-Haskell-In-One-Simple-Exa... interesting. It may not be exactly what you are looking for. There will likely be an extended (and refined) presentation of this in Real World Haskell.
-- John _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
"Brent Yorgey"
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.
I've enjoyed immensely several entries in Dan Piponi's 'A Neighborhood of Infinity'. In particular, 'Infinitesimal rotations and Lie algebras': http://sigfpe.blogspot.com/2008/04/infinitesimal-rotations-and-lie.html made me decide once and for all that i want to grok Haskell. HTH, jao -- Go to Heaven for the climate, Hell for the company. - Mark Twain
Hi On 28 May 2008, at 10:33, Jose A. Ortega Ruiz wrote: [..]
I've enjoyed immensely several entries in Dan Piponi's 'A Neighborhood of Infinity'. In particular, 'Infinitesimal rotations and Lie algebras':
<http://sigfpe.blogspot.com/2008/04/infinitesimal-rotations-and- lie.html>
made me decide once and for all that i want to grok Haskell.
It's this sort of positivity that prompted us to invite Dan to speak at MSFP 2008 in Iceland. His blog is full of such lovely connections between functional programming and mathematics: it is a source of much happiness and wonder. Shameless plug. http://msfp.org.uk/ Conor
participants (8)
-
Brent Yorgey -
Conal Elliott -
Conor McBride -
Don Stewart -
Henning Thielemann -
John Goerzen -
Jose A. Ortega Ruiz -
Sterling Clover