It would be great to see a C9 video on Spec# (I couldn't find one with a search, I appologize if one already exists). A compiler that could verify which functions had side-effects in your C# code and what they are could make C# more "honest." It seems to me that development of this project could solve some of the problems Erik mentioned in terms of unknown side-effects.
Spec# Microsoft Research Project
Great explination of Spec# by Matthew Podwysocki
Charles, I really wished you would have brought up Spec# and asked Eric how that may play into the honest/dishonest comparison. If you used Spec# contracts, couldn't the compiler guarantee honesty so that you could have a mixture of honest and dishonest functions by examining the contracts?
The thing that left me a little confused is that for the last 2 years we have been hearing how Orcas is bringing in functional programming concepts to C#. Maybe I missunderstood Eric, but it sounds like that is not true and seemed to contradict some of the past C9 videos that were promoting the products.
This was a great interview though and was very stimulating....classic Channel 9.