Только что установил сабж. По поводу переписанной под WPF среды я особо распространятся не буду, на то придуманы всякие евангелисты. Меня интересует в основном C++, CLR, FCL, ну и F# постольку поскольку.

C++

Больше всего интересовала реализация замыканий (GCC тут усердно пыхтит в сторонке). Что я могу сказать. Кривовато, но с некоторым скрипом пользоваться можно. И кривость эта относится вообще говоря к Стандарту, а не к реализации. Ну например.

Для реализации «правильных» замыканий нужно как-то согласовывать области видимости самого замыкания и захватываемого окружения. Лямбда ведь может и пережить скоуп замкнутой переменной. Рассмотрим лямбду, которая 1) не только читает, но и меняет в замкнутый контекст, 2) вызывается за пределами видимости захваченной стековой переменной. Допустим, нужен аналог такого C#-кода:

using System;

static class EntryPoint
{
  static Action<int> Foo()
  {
    int i = 3;
    Action<int> λ = (newValue) =>
    {
      Console.WriteLine("Old: {0}, new: {1}", i, newValue);
      i = newValue;
    };

    λ(5);  // Old: 3, new: 5
    Console.WriteLine("Current: {0}", i);  // Current: 5
    i = 8;
    λ(13);  // Old: 8, new: 13

    return λ;
  }

  static void Main()
  {
    var foo = Foo();

    foo(21);
  }
}

Эта программа выведет то, что и ожидается:
Old: 3, new: 5
Current: 5
Old: 8, new: 13
Old: 13, new: 21
Кстати, вопрос на засыпку: как разработчики добились такого поведения? Ведь захваченная стековая переменная должна разушиться при выходе из функции, значит по ссылке передавать нельзя. С другой стороны, по значению тоже нельзя, ведь тогда бы читались и модифицировались разные копии переменной (равно как и при боксинге). А вы говорите Саттер :)

При объявлении лямбды в C++0x можно явно перечислить захватываемые переменные в квадратных скобках. А можно просто поставить значок «=» или «&» для захвата всех замыкаемых переменных по значению или по ссылке соответственно. Указание захвата по значению в нашем примере приведёт к ошибке компиляции при попытке изменить контекст (i = newValue;). Остаётся захват по ссылке:

#include "stdafx.h"

std::tr1::function<void (int)> Foo()
{
  int i = 3;
  auto const λ( [&](int newValue)
  {
    std::cout << boost::format("Old: %1%, new: %2%\r\n") % i % newValue;
    i = newValue;
  } );

  λ(5);
  std::cout << boost::format("Current: %1%\r\n") % i ;
  i = 8;
  λ(13);

  return λ;
}

int main()
{
  auto const foo( Foo() );

  foo(21);
}

Увы, поведение этого кода Стандартом не определено по указанной ранее причине — обращение по ссылке на уже разрушенный стек-фрейм. У меня, например, получилось следующее:
Old: 3, new: 5
Current: 5
Old: 8, new: 13
Old: -858993460, new: 21

О прочих нововведениях как-нибудь в другой раз. А их там немало. При переходе от второго фреймворка к третьему менялись только библиотеки и языки, версия же CLR оставалась 2.0.50727. В новом же фреймворке CLR обогатилась некоторыми прикольными фичами.