Здравствуйте, InCus, Вы писали:

IC>В первую очередь сделать нормальный вывод типов

Ну, это сделать в принципе не получится, из-за необходимости взаимодействовать с .net библиотаками где сплошной сабтайпинг и перегрузки. Этого можно не ждать.

IC>Все идеи и концепции которые создалеи натырыли с разних мест перечислены в последней таблице на
IC>http://msdn.microsoft.com/en-us/library/dd233249.aspx
IC>Хочу много из этого,

Там только ключевые слова перечислены. В основном из C# и OCaml, по поводу некоторых можно пофантазировать или сделать какие-то предположения (например, atomic, вероятно, зарезервирован был еще в те времена, когда не известно было, что STM под .net не сделать, соответственно этого уже можно не ждать), ключевые слова типа functor могут намекать на то, что они все-таки рассматривают возможность сделать нормальные модули, как в нормальном ML, но каких-то других подтверждений этого я не слышал — наоборот, что-то было в том смысле , что в такой колбасе потребности нет.

IC>но ничего из этого за год не родилось даже в зачаточном виде.

С самого начала было очевидно, что после добавления F# в стандартную студийную поставку скорость изменений упадет до скорости дрейфа материков.