Майкрософт двигает функциональньное программирование в массы
Andrey TkachОпубликовано 26.10.2007 в .NET, Инструменты, Новости, Технологии, ФП
Майкрософт объявила о расширении списка языков .NET, которые будут входить в новый релиз Visual Studio. Вице-президент отдела инструментов разработки Майкрософт S. Somasegar в своем блоге заявил, что его подразделение будет работать с Microsoft Research, чтобы интегрировать новый язык программирования F# в Visual Studio. Однако будет ли это в первом релизе VS 2008, объявлено не было.
Согласно описанию этого языка на сайте Microsoft Research, F# продолжает функциональную (отсюда ‘F’) традицию языков семейства ML, являясь при этом мультипарадигменным языком, который намеревается взять лучшее от функционального и объектно-ориентированного программирования в рамках технологии .NET. В качестве отправной точки был взят дизайн языка OCaml.
В последнее время в развитии промышленных языков программирования наблюдается миграция идей с функционального программирования. Далеко не полным списком примеров данной тенденции, на платформе .NET могут быть лямбда-выражения в C#, generics и LINQ.
Данным внедрением Майкрософт надеется убить несколько зайцев:
- дать инструмент разработчикам, для реализации, как проектов, так и отдельных его частей используя преимущества паттернов ФП, библиотек .NET и инструментария VS;
- продолжить отток хороших идей из мира функциональных языков в промышленные;
- предоставить мощный инструмент профессионалам, которым нужна иная нотация, например математическая, в таких областях как математика, финансы, научный и технический компьютинг;
- Войти на арену академического образования, предоставив возможность использовать Visual Studio как единый инструмент для многих курсов и исследовательских работ.
Ну а дальше — время, рынок и пользовательский опыт ответят на вопрос станет ли F# мейнстрим языком и укажут на его точное место и вес в линейке подобных языков программирования.
Понравилась статья? Подпишись на обновления по RSS/E-mail




А Z# когда ожидается?
Если правильно помню отзыв Вити Советова (одного из, наверное, наиболее опытных функциональщиков страны) — то ли в дотнетовских, то ли вообще в майкрософтовских реализациях была убита собственно суть одного из языков, который тащили. То, что делали в MS Research, его не спасло.
Поскольку деталей не помню (обычно запоминаю такие вот выжимки) — будет интересно, могу уточнить.
2Michael Shigorin: Я думаю, полная версия отзыва была бы в этом топике не лишней. И лично мне это интересно. (особенно после такого промоуешна
)
Коммент #3 я хотел оставить от своего имени…
Собственно говоря, в той беседе речь шла о том, что из F#, в частности, отодрали параметризованые модули (они же - функторы в терминологии оригинального OCaml). А это в корне меняет многие вещи. Сравнение по фичам обоих языков вот: http://research.microsoft.com/fsharp/language-compare.aspx