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 <[EMAIL PROTECTED]> wrote: >On Wed, 26 Nov 2008 23:48:19 -0600, "Galchin, Vasili" ><[EMAIL PROTECTED]> 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 [EMAIL PROTECTED] > >-- Benjamin L. Russell _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
