F#

F# является функциональным и объектно-ориентированным языком для платформы Microsoft .NET, базируется на языке OCaml. Как следствие, его сильной стороной является совмещение возможности прямого использования .NET-библиотек, а также других .NET-языков (C#, VB .NET) с возможностями, предоставляемыми функциональным программированием.

F# использует механизмы автоматического вывода типов и строго типизирован. Поддерживает сопоставление по образцу (pattern matching), допускает функции с побочными эффектами (то есть не является чистым функциональным языком — pure functional language). Является одним из языков семьи ML.

Создателем языка является Дон Сайм (Don Syme), разработкой занимается Microsoft Research.

Неофициальный логотип F# от создателя языка

Ссылки:

• F# wikipedia page (en)
• F# homepage on Microsoft Research
• F# manual
• F# wikipedia page (ru)
• F# Wiki by Don Syme

IDE/Редакторы:

• F# для Visual Studio

Примеры:

Факториал:

Используется сопоставление по образцу с последующим рекурсивным вызовом. Ключевое слово let задаёт новое определение — в данном случае функцию fac. rec означает, что определение будет рекурсивным. Сопоставление по образцу определяется ключевым словом match.

let rec fac n = match n with
	| 0 -> 1
	| _ -> n * fac(n - 1)

do printf "10! = %d" (fac 10)

Комментарии

blog comments powered by Disqus