[Haskell-cafe] Re: Philip Wadler video on Howard-Curry Correspondence ???

Benjamin L.Russell DekuDekuplex at Yahoo.com
Thu Nov 27 06:51:29 EST 2008

Incidentally, Haskell is mentioned several times in the Dr. Dobbs
Journal article on the Wadler paper:

Dr. Dobb's | Old ideas form the basis of advancements in functional
programming | 12 1, 2000


>Languages that took more direct inspiration from lambda calculus include:
>Haskell, named for Haskell Curry (Hudak, Peyton Jones, Wadler, and others, 1987; see http://haskell.org/). 


>Standard ML is noted for its exploration of module types, Haskell for its type classes, and O'Caml for its object-oriented types. Standard ML, Haskell, and O'Caml are all continuing development, and innovation in their type systems is one of the principal directions of research.


>Applications built on top of functional languages, and which themselves use type systems in innovative ways, include:  ... Lolita, a natural language understanding system (implemented in Haskell) ...


>... Yarrow in Haskell (http://www.cs.kun.nl/~janz/ yarrow/) ...

The article discusses the impact of logic on functional programming,
citing examples including those involving Haskell, and mentions a
correspondence between types and proofs.

-- Benjamin L. Russell

On Thu, 27 Nov 2008 20:33:37 +0900, Benjamin L.Russell
<DekuDekuplex at Yahoo.com> wrote:

>On Wed, 26 Nov 2008 23:48:19 -0600, "Galchin, Vasili"
><vigalchin at gmail.com> wrote:
>>    I am reading re-reading Prof. Wadler paper Proofs are Programs: 19th
>>Century Logic and 21st Century Computing
>>but also want to re-read watch his video on same subject.....
>There is a reference to the video in question at the following site,
>but the link seems to be broken:
>Proofs are Programs: 19th Century Logic and 21st Century Computing |
>Lambda the Ultimate
>The same link is also mentioned at the following site as well:
>Wadler: History of logic and programming languages
>The (broken) link mentioned at the above two sites is the following:
>TechNetCast Archives
>However, attempting to visit the above-mentioned site results in the
>following error message:
>> Query Failed1
>Since the same URL is mentioned at both sites, this error is unlikely
>to be the result of a typo.
>Perhaps either the item was removed, or the hosting server is down?
>You may wish to try reaching the contact person for the site hosting
>the video, Dr. Dobb's TechNetCast (see http://technetcast.ddj.com/),
>at editors at ddj.com.
>-- Benjamin L. Russell

More information about the Haskell-Cafe mailing list