Philip Wadler and Erik Meijer: On Programming Language Theory and Practice
- Posted: May 04, 2009 at 10:02 AM
- 35,517 Views
- 10 Comments
Download
How do I download the videos?
- To download, right click the file type you would like and pick “Save target as…” or “Save link as…”
Why should I download videos from Channel9?
- It's an easy way to save the videos you like locally.
- You can save the videos in order to watch them offline.
- If all you want is to hear the audio, you can download the MP3!
Which version should I choose?
- If you want to view the video on your PC, Xbox or Media Center, download the High Quality WMV file (this is the highest quality version we have available).
- If you'd like a lower bitrate version, to reduce the download time or cost, then choose the Medium Quality WMV file.
- If you have a Zune, WP7, iPhone, iPad, or iPod device, choose the low or medium MP4 file.
- If you just want to hear the audio of the video, choose the MP3 file.
Right click “Save as…”
- High Quality WMV (PC, Xbox, MCE)
- MP3 (Audio only)
- MP4 (iPod, Zune HD)
- Mid Quality WMV (Lo-band, Mobile)
- WMV (WMV Video)
Lang.NET Symposium 2009 was held on Microsoft's campus (make sure you
watch the talks, which are available for your viewing pleasure). We were of course there and conducted several interviews with some of programming language design's brightest thinkers.
Here, Erik Meijer and Philip Wadler discuss the theory and practice of programming language design with C# program manager Mads Torgersen.
Philip is widely known for his significant contributions to functional programming (including Haskell and a classic book - Introduction to Functional Programming(Prentice Hall publisher) that is one of the best introductions to functional programming you can find) and programming language theory. You've learned about Mondas on Channel 9. Well, Philip is the guy that is in part responsible for their wide adoption in FP.
Erik, as you know by now, is co-creator of LINQ, functional programming master, creator of the now unnamed "Volta" technologies, and much more.
This is a great conversation on how theory winds its way into practice and how principles take time to embed themselves into modern language design (most modern languages are built on the ideas formed many years ago, as theoretical principles). Phillip and Erik also touch on langauge history and futures. Tune in.
Here, Erik Meijer and Philip Wadler discuss the theory and practice of programming language design with C# program manager Mads Torgersen.
Philip is widely known for his significant contributions to functional programming (including Haskell and a classic book - Introduction to Functional Programming(Prentice Hall publisher) that is one of the best introductions to functional programming you can find) and programming language theory. You've learned about Mondas on Channel 9. Well, Philip is the guy that is in part responsible for their wide adoption in FP.
Erik, as you know by now, is co-creator of LINQ, functional programming master, creator of the now unnamed "Volta" technologies, and much more.
This is a great conversation on how theory winds its way into practice and how principles take time to embed themselves into modern language design (most modern languages are built on the ideas formed many years ago, as theoretical principles). Phillip and Erik also touch on langauge history and futures. Tune in.
Comments Closed
Comments have been closed since this content was published more than 30 days ago, but if you'd like to continue the conversation,
please create a new thread in our Forums,
or
Contact Us and let us know.
Follow the Discussion
My functional programming sense is tingling,...

I will read this book.
Nice shirt again Erik! I think you need to use Robijn Fleur en Fijn, it wont mess up the colours when you wash your shirts
Amazon: http://www.amazon.com/Introduction-Functional-Programming-Prentice-International/dp/0134841891
C
Enjoy!
C
was natural to hit Haskell as well. Also I am having a great time learning it. Erik is a Haskell Master Jedi, I am still Padawan.
Charles, also, thank for grabbing these guys at Lang.Net and having them talk, esp Gilad Bracha - he is one funny dude.
~sparky
sdasrath.blogspot.com
PS: Also what the hey, the only copy of that book is 400 bucks!
C
Everyday life and critical aspects of our economy, defense, and government depend on software, and software, in turn, depends on high-level programming languages and their efficient implementations. Ever since Fortran and its automatic compiler in the late 50s, language implementation techniques have been central to computer science, and have relied on well-defined theoretical contributions and central principles. The focus of this summer school is the mix or interplay of theory and practice in language implementation mechanisms, such as compilers or run-time systems. The main aim of this summer school is to enable participants to conduct research in the area, thereby contributing to improved software.
Remove this comment
Remove this thread
close