F# - функциональный язык программирования от Microsoft, Hi-Tech

Компьюлента. 29 мая 2003 года, 17:44

В компании Microsoft перспективным программным разработкам уделяется много внимания. Среди наиболее перспективных направлений деятельности подразделения Microsoft Research присутствуют не только новые операционные системы, офисные и мультимедийные приложения, но и средства разработки и языки программирования. Об одной из новых разработок в данной области - ориентированном на интеграцию с XML языке X# "Компьюлента" уже рассказывала.

Этим, однако, инициативы Microsoft не ограничиваются. В настоящее время в лабораториях Microsoft Research ведется разработка еще одного нового языка, названного F#. Этот язык программирования является функциональным, а не более привычным императивным (к императивным относятся, в частности, языки "Си", "Паскаль", "Фортран" и им подобные). Если в императивных языках программа представляет собой набор выполняемых в определенном программистом порядке команд, то функциональная программа представляет из себя совокупность функций. Функции определяются через другие функции или рекурсивно - через самих себя.

В процессе выполнения программы, функции получают параметры, вычисляют и возвращают результат, который может использоваться в качестве параметра другой функции. Программируя на функциональном языке, программист не должен описывать порядок вычислений. Ему необходимо просто описать желаемый результат в виде системы функций. Подобный подход, кстати, используется и при выполнении вычислений в электронных таблицах вроде MS Excel.

Язык F# основан на одном из наиболее распространенных функциональных языков - Caml. Изменения и дополнения, внесенные разработчиками Microsoft в Caml, касаются, прежде всего, интеграции языка с платформой .Net. Другой важной особенностью F# станет возможность интеграции программ на нем с приложениями, написанными на императивных языках C#, Visual Basic, SML.NET. В результате, к примеру, можно будет использовать библиотеки F# при написании кода на C#, и наоборот.

Пока у Microsoft нет планов по выпуску F# в качестве коммерческого продукта. Это пока исключительно исследовательский проект, причем не самый главный для Microsoft Research. В работе над языком Microsoft активно сотрудничает с исследовательскими организациями, а в июне нынешнего года исследовательское подразделение корпорации планирует открыть код компилятора F#.