В компании Microsoft перспективным программным разработкам уделяется много внимания. Среди наиболее перспективных направлений деятельности подразделения Microsoft Research присутствуют не только новые операционные системы, офисные и мультимедийные приложения, но и средства разработки и языки программирования.
В настоящее время в лабораториях Microsoft Research ведется разработка еще одного нового языка, названного F# ( http://research.microsoft.com/projects/ilx/fsharp.htm). Этот язык программирования является функциональным, а не более привычным императивным (к императивным относятся, в частности, языки "Си", "Паскаль", "Фортран" и им подобные). Если в императивных языках программа представляет собой набор выполняемых в определенном программистом порядке команд, то функциональная программа представляет из себя совокупность функций. Функции определяются через другие функции или рекурсивно - через самих себя.
В процессе выполнения программы, функции получают параметры, вычисляют и возвращают результат, который может использоваться в качестве параметра другой функции. Программируя на функциональном языке, программист не должен описывать порядок вычислений. Ему необходимо просто описать желаемый результат в виде системы функций. Подобный подход, кстати, используется и при выполнении вычислений в электронных таблицах вроде MS Excel.
Язык F# основан на одном из наиболее распространенных функциональных языков - Caml. Изменения и дополнения, внесенные разработчиками Microsoft в Caml, касаются, прежде всего, интеграции языка с платформой .Net. Другой важной особенностью F# станет возможность интеграции программ на нем с приложениями, написанными на императивных языках C#, Visual Basic, SML.NET. В результате, к примеру, можно будет использовать библиотеки F# при написании кода на C#, и наоборот.
Пока у Microsoft нет планов по выпуску F# в качестве коммерческого продукта. Это пока исключительно исследовательский проект, причем не самый главный для Microsoft Research. В работе над языком Microsoft активно сотрудничает с исследовательскими организациями, а в июне нынешнего года исследовательское подразделение корпорации планирует открыть код компилятора F#. Об том пишет "Компьюлента".
