Какво е функционално програмиране в F#?

F# е мултипарадигмен език, но неговата основа е функционалното програмиране. Това означава, че програмите на F# се изграждат предимно около "чисти" функции - без странични ефекти и винаги връщат същия резултат при същите входни данни. Основните концепции включват:

• Непроменливост: По подразбиране, данните в F# са непроменливи. Променливите са обвързвания (bindings), и стойностите им не могат да бъдат променяни след създаването им. Това улеснява разсъжденията за програмата и увеличава сигурността в многонишкови среди.
• Функции като обекти от първа класа: Функциите могат да бъдат присвоявани на променливи, предавани като аргументи към други функции и връщани от функции.
• Куриране: Функциите в F# приемат само един аргумент. Функциите, които приемат няколко аргумента, автоматично се преобразуват в последователност от функции, всяка от които приема един аргумент.
• Шаблонно съвпадение: Мощна конструкция за разпределяне на данни и изпълнение на действия в зависимост от тяхната структура.
• Инференция на типове: Компилаторът на F# може автоматично да определя типовете на повечето изрази, което намалява необходимостта от явни указания за типове.
• Изрази: Повечето конструкции в F# са изрази, които връщат стойност. Това позволява създаването на по-кратък и лаконичен код.

F# активно използва алгебрични типове данни (ATDs):

• Записи: Неизменяеми типове данни с именовани полета.
• Дискриминирани обединения: Типове данни, които представляват едно от няколко възможни стойности, всяка с свързани данни. Използват се за моделиране на краен брой състояния или варианти.

// Пример за неизменяема запис
type Person = { Name: string; Age: int }

// Пример за дискриминирано обединение
type Shape =
    | Circle of radius: float
    | Rectangle of width: float * height: float

// Пример на функция с шаблонно съвпадение
let calculateArea shape =
    match shape with
    | Circle r -> System.Math.PI * r * r
    | Rectangle (w, h) -> w * h

Функционалният подход в F# насърчава създаването на модулни, лесни за тестване и паралелизиращи се програми.