Lambda the Ultimate

inactiveTopic The Next 700 Programming Languages
started 4/12/2003; 8:10:46 AM - last post 4/14/2003; 4:44:42 AM
Chris Rathman - The Next 700 Programming Languages  blueArrow
4/12/2003; 8:10:46 AM (reads: 1831, responses: 2)
The Next 700 Programming Languages
Well, since we seem to be busy prognisticating 100 years into the future, I figure it might not hurt to look back 40 years into the past. :-)

This is a classic paper from Peter Landin back in 1965. The paper discusses the programming language ISWIM (if you see what i mean). The language itself didn't get far, but the efforts to emphasize Church's lambda calculus were heavily influential - many of the current slate of functional languages are the great-grand-children.
Posted to history by Chris Rathman on 4/12/03; 8:11:33 AM

Ehud Lamm - Re: The Next 700 Programming Languages  blueArrow
4/12/2003; 12:12:36 PM (reads: 699, responses: 0)
This was a very influential paper. Highly recommended.

Neel Krishnaswami - Re: The Next 700 Programming Languages  blueArrow
4/14/2003; 4:44:42 AM (reads: 583, responses: 0)
Also of interest are the slides from Philip Wadler's talk, "The Next 700 Markup Languages", in which he tries to outline the future for XML-based markup languages in the same way Landin did for programming languages.

http://www.research.avayalabs.com/user/wadler/papers/next700dimacs/next700dimacs.pdf