JAlexandrian JAlexandrian

Niner since 2008


  • C# 4.0 - Questions and reasons behind the answers

    Another great vid from Anders. I don't have an especially smart comment other than to say I appreciate these and look forward to the next time we see him on Ch9.
  • Erik Meijer: Functional Programming

    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
  • Erik Meijer: Functional Programming

    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.