Erik Meijer: Rebel with a Cause
- Posted: Mar 04, 2010 at 12:13 PM
- 44,929 Views
- 21 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)
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!
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
Very fond of Eric ... but 750 mb to download ! ? What world do you live in ?
Well worthwhile nonetheless !
Download a lower res video... Click on the Media Downloads link next to the player.
C
Listening to Eric Meijer is always deeply informative and fun! This is no exception!
Thanks Eric!
Agreed. I really enjoyed the detail Erik (note the spelling of his first name
) went into with respect to his personal history. This was a very insightful interview. Thanks Erik and Robert!
C
The high file size is due to Erik's awesome shirt! All those colors literally melt man's best algorithms.
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.
When will you you guys get Dave Cutler?
We demand him!
The 'domain equation of the untyped lambda calculus' .... owwww ... my brain hurts!
D D( D d);
Yes, I want to hear more about this ... sounds like another show.
Excellent!
You are right, it is more difficult to compress when there are more moving colors !
Erik you should consider less color shirts for C9 interviews
The video compression works better that way- LOL 
.
This would be a really geek approach to clothing.
I can imagine Erik picking an outfit for the day based on the compression algorithms
Fractal compression may help
...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.
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?
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)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
Yet another awesome blog post, Bart. Thanks for sharing!
C
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."
I'm not sure "reduced me to tears" is a compliment or not
. 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.
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!
Awesome post. Erik is the man.. in palm trees. Can we get a link to the books he references?
Remove this comment
Remove this thread
close