Čo je funkcionálne programovanie v F#?

F# je viacparadigmatický jazyk, ale jeho základom je funkčné programovanie. To znamená, že programy v F# sú prevažne postavené okolo funkcií, ktoré sú "čisté" - nemajú vedľajšie účinky a vždy vracajú rovnaký výsledok pri rovnakých vstupoch. Hlavné koncepty zahŕňajú:

• Nemennosť (Immutability): Predvolene sú údaje v F# nemenné. Premenné sú viazania (bindings), a ich hodnoty nemožno zmeniť po ich vytvorení. To uľahčuje uvažovanie o programe a zvyšuje bezpečnosť v viacvláknových prostrediach.
• Funkcie ako prvotriedne objekty: Funkcie je možné priraďovať premenným, odovzdávať ako argumenty iným funkciám a vracať z funkcií.
• Currying (Currying): Funkcie v F# prijímajú iba jeden argument. Funkcie, ktoré prijímajú viacero argumentov, sa automaticky transformujú na sekvenciu funkcií, z ktorých každá prijíma jeden argument.
• Vzorové zhodovanie (Pattern Matching): Silná konštrukcia na dekompozíciu dát a vykonávanie akcií v závislosti od ich štruktúry.
• Typové inferencie (Type Inference): Kompilátor F# môže automaticky určiť typ väčšiny výrazov, čo znižuje potrebu explicitného uvádzania typov.
• Výrazy (Expressions): Väčšina konštrukcií v F# sú výrazy, ktoré vracajú hodnotu. To umožňuje vytvárať stručnejší kód.

F# aktívne využíva algebraické typy dát (ATDs):

• Záznamy (Records): Nemenné dátové typy s pomenovanými poľami.
• Diskriminačné zhluky (Discriminated Unions): Dátové typy predstavujúce jedno z niekoľkých možných hodnôt, pričom každá môže mať s nimi spojené dáta. Používajú sa na modelovanie konečného počtu možných stavov alebo možností.

// Príklad nemenného záznamu
type Person = { Name: string; Age: int }

// Príklad diskriminačného zhluku
type Shape =
    | Circle of radius: float
    | Rectangle of width: float * height: float

// Príklad funkcie s vzorovým zhodovaním
let calculateArea shape =
    match shape with
    | Circle r -> System.Math.PI * r * r
    | Rectangle (w, h) -> w * h

Funkcionálny prístup v F# prispieva k vytváraniu modulárnych, ľahko testovateľných a paralelizovateľných programov.