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

[Benjamin L.Russell]

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
http://www.ddj.com/showArticle.jhtml?articleID=184404384

Specifically:

>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/). 

and

>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.

and

>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) ...

and

>... 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:
>
>>Hello,
>>
>>    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
>http://lambda-the-ultimate.org/node/1447
>
>The same link is also mentioned at the following site as well:
>
>Wadler: History of logic and programming languages
>http://homepages.inf.ed.ac.uk/wadler/topics/history.html
>
>The (broken) link mentioned at the above two sites is the following:
>
>TechNetCast Archives
>http://technetcast.ddj.com/tnc_catalog.html?item_id=1011
>
>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