Функциональный язык программирования F#, созданный в Microsoft Research, будет интегрирован в платформу разработки приложений Microsoft Visual Studio, сообщил в своем блоге вице-президент подразделения Microsoft Developer Division С. Сомасегар. Впрочем, официальные сроки выпуска F# корпорация пока не определила.
Название F# произносится как «эф-шарп». Как пояснил Сомасегар, в основу языка легли концепции функционального программирования. С точки зрения функционального языка выполнение программы заключается в вычислении значений функций. Математический уклон функционального программирования приходится по душе специалистам, работающим в областях, которые хорошо описываются математическими формулами, например с финансовыми, научными и инженерными задачами.
«Язык F# сочетает типобезопасность, производительность и возможности скриптовых языков с теми преимуществами, которые дает современная среда исполнения», — утверждают в Microsoft Research. Он поддерживает интерактивное выполнение скриптов, как Python, и строгий вывод типов и безопасность, как ML. Из него можно вызывать библиотеки .Net и средства работы с базами данных.
Блоггеры, обсуждающие F# на сайте hubFS (http://cs.hubfs.net), восприняли планы Microsoft позитивно.
«Даже сказать не могу, как меня обрадовала эта новость, — пишет один из блоггеров. — Я познакомился с F# несколько месяцев назад, и с тех пор он стал моим основным языком программирования; я перешел на него с Python и Java. Язык оказался отличным средством разработки простых скриптов или ‘пробных’ реализаций алгоритмов. Оказалось также, что язык отлично подходит для создания серьезных приложений, поскольку позволяет применять все, что уже написано для .Net».
Сомасегар упомянул и другие шаги в сторону функционального программирования, предпринятые Microsoft.
«Такие языковые средства, как лямбда-выражения в C# и ‘дженерики’ в .Net 2.0, вышли из функциональных языков, а встроенные в язык запросы LINQ (Language Integrated Query) непосредственно основываются на методах функционального программирования», — пишет Сомасегар. Средства LINQ расширяют языки C# и Visual Basic и упрощают написание на этих языках запросов к базам данным и документам XML.
«По отношению к .Net язык F# будет ‘гражданином первого разряда’, то есть будет работать непосредственно на среде исполнения Microsoft CLR», — заявил Сомасегар. F# поддерживает объектно-ориентированное программирование и интегрирован с .Net Framework. «Создание F# повысит популярность .Net в академической среде», — полагает Сомасегар.