The Essence of Functional Programming by Wadler

Submitted by metaperl on Tue, 03/22/2005 - 4:47am.

This article by Wadler is really quite astounding:

http://citeseer.ist.psu.edu/wadler92essence.html

He shows how to create variations of an interpreter using monads and discusses the superiority of the monadic approach of the CPS approach.

Here is

Citeseer reference to the article

Submitted by Fritz (not verified) on Thu, 04/07/2005 - 12:34pm.

Umm, I'm confused: the headline says the article is by Bird, but the body says it by Wadler. The body is correct, so you might want to fix the headline.

PS: here's a freebie for you: you know the two guys standing in the "museum" in the History of Haskell page logo? Well, they are intended to be Phil (Wadler) and Richard (Bird). Of course, now Phil has lost some weight, so the one on the left isn't as accurate a representation as it could be, but the figures are from a dingbat font and not easily changed, so what's a poor boy to do?

Anyway, I just thought I'd document that somewhere, and this seemed like as good a chance as I'd get.

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.