Erik Meijer: Rebel with a Cause

Download this episode

Download Video

Description

Over thousands of years, language has evolved in order to provide mankind a mechanism for making it easier to communicate with one another. Today, the world is filled with a wide variety of languages, some of which are radically different from one another, while others bear striking similarities. In addition to improving interpersonal communications, however, languages have evolved to facilitate the transfer of information, instructions, and intent between people and machines.

Understanding, designing, and evangelizing many of these languages, and democratizing the programming methodologies within them, is Erik Meijer. Erik is a legendary figure in the programming language design community and one of Niner Nation's favorite personalities. Today, tune in and meet the man behind the code; some of Erik's fascinating personal and professional histories may well surprise you. The great Robert Hess moderates this latest edition of Behind the Code.

Enjoy.

PS: Erik will be speaking at MIX10!

Embed

Format

Available formats for this video:

Actual format may change based on video formats available and browser capability.

    The Discussion

    • User profile image
      Thoughtware N.Z

      Very fond of Eric ... but 750 mb to download ! ? What world do you live in ?
      Well worthwhile nonetheless !

       

       

    • User profile image
      Charles

      Download a lower res video... Click on the Media Downloads link next to the player.

      C

    • User profile image
      keithfl

      Listening to Eric Meijer is always deeply informative and fun! This is no exception!

       

      Thanks Eric!

    • User profile image
      Charles

      Agreed. I really enjoyed the detail Erik (note the spelling of his first name Smiley) went into with respect to his personal history. This was a very insightful interview. Thanks Erik and Robert!

      C

    • User profile image
      kiwimonk

      The high file size is due to Erik's awesome shirt!  All those colors literally melt man's best algorithms.  Wink

    • User profile image
      tomkirbygre​en

      Erik is a inspiration and one of those people I would dearly love to meet some day. Great to see him interviewed in this manner.

    • User profile image
      vesuvius

      When will you you guys get Dave Cutler?

       

      We demand him!

    • User profile image
      keithfl

      The 'domain equation of the untyped lambda calculus' .... owwww ... my brain hurts!

       

      //delegate - domain equation of the untyped lambda calculus D D( D d);

    • User profile image
      Richard.Hein

      D  D( D d);

       

      Yes, I want to hear more about this ... sounds like another show.

    • User profile image
      exoteric

      Excellent!

    • User profile image
      ivan_

      You are right, it is more difficult to compress when there are more moving colors ! Smiley

       

      Erik you should consider less color shirts for C9 interviews Smiley The video compression works better that way- LOL Smiley .

       

      This would be a really geek approach to clothing.

      I can imagine Erik picking an outfit for the day based on the compression algorithms Smiley

    • User profile image
      exoteric

      Fractal compression may help Wink

       

      ...I hope Erik isn't doing designing languages at Microsoft. Even though Rx et al is very cool, someone needs to push the limits for all programmers: the programming language designers.

       

      Would also like to hear more about Spec# and Sing# on Channel 9 and whether there are plans to incorporate more features from these into C# or maybe "productize" Sing# in VS.

    • User profile image
      Parmenio

      Very interesting. Good to see more of Erik behind the scenes. I must say he's an inspirational character.

       

      My career has gone in the opposite direction... historically I was only interested in theory with applications, and theory that was therefore just good enough for the problem space, i.e. a typical engineer. These days I'm finding I missed out on so much theory that way and went too quick to the solution. I've always drummed into developers to step back from the problem, and take time to think: take things up a level or two before coming back down. Ask how I would like to solve this problem, before deciding how to solve the problem. All this time I was not applying that myself to the higher level concepts in programming. Still I'd never like to be purely academic: I like the feedback of seeing things actually doing something.

       

      With all the new posts going up on channel 9 these days I find many of them bland.... I confess to filtering by Charles' posts and then looking at those for ones worth watching!

       

      On the delegate D D( D d);

       

      There was one of the Functional Programming episodes where Erik mentioned that all programs (should that be expressions?) could be compiled into the SKI combinators. However he then said that really you need only one, but frustratingly never elaborated. Is this function of the untyped Lambda calculus the ONE?

    • User profile image
      ShinNoNoir

       

      // domain equation untyped lambda calculus delegate D D(D d);

       

      With the help from the people in #haskell, here's an example:

      data D = D {unD :: D -> D} omega = (\x -> unD x x) (D $ \x -> unD x x)

       

       

    • User profile image
      bdesmet

      Since there seems to be quite some interest in the untyped lambda calculus and the way Erik wrote the domain equation in C# syntax, people may be interested in this post of mine on the subject, seen from an angle of .NET 4 technologies. It's titled (Mis)using C# 4.0 Dynamic – Type-Free Lambda Calculus, Church Numerals, and more and goes into quite some detail on untyped lambda calculus, Church Numerals, etc.

       

       

      Have fun!

      -Bart

    • User profile image
      Charles

      Yet another awesome blog post, Bart. Thanks for sharing!

      C

    • User profile image
      Richard.Hein

      A warning to others, don't skim ahead when reading Bart's blog posts, you must read one line at a time, or your mind will explode.  He has reduced me to tears.  "Start at the beginning, keep going until you get to the end, then stop."  Perplexed

    • User profile image
      bdesmet

      I'm not sure "reduced me to tears" is a compliment or not Smiley. Either way, I forgot to add a link to yet another post on the topic, that achieves very similar effects by without using C# 4.0 dynamic. Here it is: Type-Free Lambda Calculus in C#, Pre-4.0 – Defining the Lambda Language Runtime (LLR). Don't hesitate to contact me if something is unclear.

    • User profile image
      Martin S

      What an excellent discussion.

       

      Thank you Charles, Robert and Erik!

       

      Do you think it would be possible to provide the "uncut" version? Between the segments I imagine there was a lot more covered!

    • User profile image
      KeyboardG

      Awesome post. Erik is the man.. in palm trees. Can we get a link to the books he references?

    • User profile image
      head.in.the.​box

    Comments closed

    Comments have been closed since this content was published more than 30 days ago, but if you'd like to send us feedback you can Contact Us.