Co je to funkcionální programování v F#?

F# je víceparadigmatický jazyk, ale jeho základy jsou založeny na funkcionálním programování. To znamená, že programy v F# jsou převážně postaveny kolem "čistých" funkcí - bez vedlejších efektů a které vždy vracejí stejný výsledek při stejných vstupních datech. Hlavní koncepty zahrnují:

• Neměnnost: Ve výchozím nastavení jsou data v F# neměnná. Proměnné jsou vázání (bindings), a jejich hodnoty nelze změnit po jejich vytvoření. To usnadňuje uvažování o programu a zvyšuje bezpečnost v prostředích s více vlákny.
• Funkce jako objekty první třídy: Funkce lze přiřadit proměnným, předávat jako argumenty jiným funkcím a vracet z funkcí.
• Currying: Funkce v F# přijímají pouze jeden argument. Funkce přijímající více argumentů jsou automaticky převedeny na sekvenci funkcí, z nichž každá přijímá jeden argument.
• Vzorové shody: Výkonná konstrukce pro rozložení dat a provádění akcí na základě jejich struktury.
• Typové odvození: Kompilátor F# může automaticky určit typ většiny výrazů, což snižuje potřebu explicitního uvádění typů.
• Výrazy: Většina konstrukcí v F# jsou výrazy, které vracejí hodnotu. To umožňuje psát stručnější kód.

F# aktivně využívá algebraické datové typy (ATD):

• Záznamy (Records): Neměnitelné datové typy s pojmenovanými poli.
• Diskriminační unie (Discriminated Unions): Datové typy představující jednu z několika možných hodnot, přičemž každá může mít přidružená data. Používají se k modelování konečného počtu stavů nebo variant.

// Příklad neměnitelného záznamu
type Person = { Name: string; Age: int }

// Příklad diskriminační unie
type Shape =
    | Circle of radius: float
    | Rectangle of width: float * height: float

// Příklad funkce s vzorovou shodou
let calculateArea shape =
    match shape with
    | Circle r -> System.Math.PI * r * r
    | Rectangle (w, h) -> w * h

Funkcionální přístup v F# podporuje tvorbu modulárních, snadno testovatelných a paralelizovatelných programů.