F#
Подробнее
- Тип
- Язык программирования
- Год
- 2005
- Автор
- Дон Сайм, Microsoft Research
- Лицензия
- MIT
- Платформа
- .NET
Функциональный в первую очередь язык на .NET, созданный тем же человеком, который протолкнул дженерики в C#.
Дон Сайм добился появления дженериков в CLR 2.0, а затем построил поверх той же среды выполнения ML-язык. F# вышел из Microsoft Research в 2005 году, а в Visual Studio 2010 получил статус полноценного продукта. Синтаксис унаследован от OCaml: оператор конвейера |>, сопоставление с образцом, размеченные объединения и неизменяемость по умолчанию.
Две возможности по-настоящему его собственные. Провайдеры типов генерируют типы на этапе компиляции прямо из внешнего источника данных, так что таблица SQL или схема JSON становится статически типизированной без шага кодогенерации. Единицы измерения позволяют компилятору отвергнуть метр + секунда. Большим язык так и не стал, но многое из того, что позже появилось в C# — записи, сопоставление с образцом, выражения вместо операторов, — сначала опробовали здесь.