Цитата:
Я правда пока только скриптую на нем (когда PowerShell кажется неудобным)
Да я тоже им на практике не пользовался, скорее ради интереса посмотрел. Поэтому все мои выводы могут быть неверны.
Насколько я понял, F# для MS — способ определить как и куда двигать .NET и, скорее всего, в будущем, все придет к тому, что .NET разовьется до того, чтобы нормально отражать семантику и систему типов OCalm и Haskell, но пока что я вижу кучу ограничений и костылей.
Примитивные средвства DSL, слабая интеграция с LINQ. Как и в обычных императивных языках, нужно сначала определить функцию или переменную, а только потом её использовать. По сравнению с тем же Haskell огромный недостаток. Слишком мало декларативного, слишком много императивного. Проверенные годами Lisp и Scheme и то удобнее в этом плане.
При этом сам язык мягко говоря не интуитивный (для нефанатов OCalm), не цепляет. Может я и заинтересовался бы F#, если бы не было Nemerle, но в его присутсвии F# для меня не интересен.