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

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 wrote:

On Wed, 26 Nov 2008 23:48:19 -0600, "Galchin, Vasili" 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@ddj.com.

-- Benjamin L. Russell