E2E: Brian Beckman and Erik Meijer - Co/Contravariance in Physics and Programming, 1 of 3
- Posted: Jan 01, 2010 at 9:36 AM
- 60,651 Views
- 14 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)
Happy new year! It's hard to believe that it's 2010. To start off the new year right, how about some Beckman and Meijer? 
You recently learned about Dr. Beckman's perspective on covariance and contravariance in physics. Dr. Meijer found this topic to be incredibly interesting and the two geniuses decided to take a stab at identifying the relationship between co/contra in one domain, physics, and another, programming: two domains on three whiteboards
What will they discover at the whiteboards? Tune in to find out in this three part series (part 2 here) with two of Channel 9's and Microsoft's most famous and respected software practitioners. Part three has not been filmed yet
Enjoy!
You recently learned about Dr. Beckman's perspective on covariance and contravariance in physics. Dr. Meijer found this topic to be incredibly interesting and the two geniuses decided to take a stab at identifying the relationship between co/contra in one domain, physics, and another, programming: two domains on three whiteboards
What will they discover at the whiteboards? Tune in to find out in this three part series (part 2 here) with two of Channel 9's and Microsoft's most famous and respected software practitioners. Part three has not been filmed yet
Enjoy!
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
WOW! What a great video! These two guys are just totaly amazing and true role models in terms of software and where the ideas behind it come from!
Oh, and Charles - nice trying to hide behing the white board, and while speaking of that - Eric needs a bigger one next time
There ain't no party like a whiteboard party!
C
Amen!
C
Awesome video - I love seeing the comparison between the physics (engineering) world and the programming model of the world. Can't wait to see part 2.
Can't think who I'd rather see 2010 kick off with than the Erik and Brian! This stuff rocks my world.
That's a great whiteboard jam session, leaving us with a cliff hanger
It's just boiling over with creativity, can't wait for part 2.
I'd like whiteboard pens with motion capture to automatically recreate the text digitally
Couple of things...
1) Don't tease the viewer with half episodes!
b) This presentation is very similar to what Blend does for WPF. (Don't let me kinda create the UI you envisage, create it yourself! Apparently easier said than done at the moment but you get the idea.) I'm sure that if I got that spec from Brian and didn't go through the functional middle man like Erik does, the implementation would have been different in one aspect or another. Maybe even one of the 70% failed projects in time or cost.
Great (half grr) video concept! Nothing like applied application to sink concepts home.
re: 1 - Nothing wrong with spreading out goodness: like great butter on toasty bread, one piece at a time.
C
I love the part in the begining when you Charles are doing the introduction and it looks like you wanted to say something more but "Beckman and Meijer" and imidiatly start their talk
Good you didn't interupt them because there could have been some casualties
Thanks, great stuff!
I guess all scientists dealing with functions would benefint from being able to write function signatures/types the way Eric does on the whiteboard here (not needing to know everything Eric knows about type theory, just the basics displayed here!), as it is a very powerful tool/notation for clear thinking and presentation. (In addition to getting some type checking and inference for free).
I loved this! Ever since I learned Haskell I've thought about how much easier math would have been in school if the notation was more systematic or formal. But maybe that's just because I'm a programmer
Great lecture, although I do wonder (from a Haskell background) why you'd call the original 'x' function 'xs' as Eric mentions?! The 's' suffix is used to identify a collection (so a list is pattern-matched as "(x:xs)", which denotes 'one single x and some more xs'), whilst the function 'x' simply calculates the coordinates (as a product type) from a given position...
Remove this comment
Remove this thread
close