Loading user information from Channel 9

Something went wrong getting user information from Channel 9

Latest Achievement:

Loading user information from MSDN

Something went wrong getting user information from MSDN

Visual Studio Achievements

Latest Achievement:

Loading Visual Studio Achievements

Something went wrong getting the Visual Studio Achievements

Philip Wadler and Erik Meijer: On Programming Language Theory and Practice

15 minutes, 5 seconds


Right click “Save as…”

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.


Follow the discussion

  • Oops, something didn't work.

    Getting subscription
    Subscribe to this conversation
  • Bent Rasmussenexoteric stuck in a loop, for a while
    *sigh* I just bought second edition, I could've used a more clear warning Wink
  • Maddus MattusMaddus Mattus Maddus on C9, Is often ​controversi​al, But fun ​none-the-​less -​evildictait​or

    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 Wink

  • Sparkywil2300 Super #
    Good talk, I am interested in this book as well. But can someone please tell me the name of the book. I amazoned his name but don't even know the title. Thanks in advance (sparky00@gmail.com)
  • CharlesCharles Welcome Change
    From the post's description text Smiley Introduction to Functional Programming (Prentice Hall)

    Amazon: http://www.amazon.com/Introduction-Functional-Programming-Prentice-International/dp/0134841891
  • Sparkywil2300 Super #
    Haha sorry I totally didn't read the intro but thanks for the head up!
  • CharlesCharles Welcome Change
    The great thing about the book is that it is language independent: the focus is squarely on core principles and concepts of functional programming.
  • Sparkywil2300 Super #
    While I may never have a chance to meet or speak to Erik Meijer, if you remember, tell him that I am (not that you know me either) fast becoming a Haskell geek and its all thanks to his incessant references to Haskell no matter what he talks about. Well after F# I thought it
    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.

    PS: Also what the hey, the only copy of that book is 400 bucks!
  • CharlesCharles Welcome Change
    I will tell Erik next time I see him. You're welcome. I love Lang.NET. It's just an awesome thing. Gilad is one of our (Microsoft's) favorite personalities. You're not alone...

  • Sparkywil2300 Super #
    Hey, this logo kinda looks familiar - is it umm Psynosis or something that made Colony Wars for the PS1?
  • 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


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.