Šta je funkcionalno programiranje u F#?

F# je višeparadigmatski jezik, ali njegov temelj je funkcionalno programiranje. To znači da se programi u F# uglavnom grade oko "čistih" funkcija - bez sporednih efekata i koje uvek vraćaju isti rezultat sa istim ulaznim podacima. Glavni koncepti uključuju:

• Nepromenljivost: Podrazumevano, podaci u F# su nepromenljivi. Promenljive su veze (bindings), i njihove vrednosti se ne mogu menjati nakon kreiranja. Ovo olakšava razmišljanje o programu i povećava sigurnost u višestrukim nitima.
• Funkcije kao objekti prve klase: Funkcije se mogu dodeliti promenljivima, proslediti kao argumenti drugim funkcijama i vraćati iz funkcija.
• Kurriranje: Funkcije u F# prihvataju samo jedan argument. Funkcije koje prihvataju više argumenata automatski se pretvaraju u niz funkcija, od kojih svaka prihvata jedan argument.
• Usklađivanje uz obrazac (Pattern Matching): Moćna konstrukcija za dekompoziciju podataka i izvršavanje akcija u zavisnosti od njihove strukture.
• Inferencija tipova: Kompajler F# može automatski odrediti tipove većine izraza, čime se smanjuje potreba za eksplicitnim navođenjem tipova.
• Izrazi: Većina konstrukcija u F# su izrazi koji vraćaju vrednost. To omogućava pisanje konciznijeg koda.

F# aktivno koristi algebrske tipove podataka (ATDs):

• Zapisi (Records): Nepromenljivi tipovi podataka sa imenovanim poljima.
• Diskriminisane unije (Discriminated Unions): Tipovi podataka koji predstavljaju jednu od nekoliko mogućih vrednosti, od kojih svaka može imati povezane podatke. Koriste se za modeliranje konačnog broja stanja ili varijanti.

// Primer nepromenljivog zapisa
type Person = { Name: string; Age: int }

// Primer diskriminisane unije
type Shape =
    | Circle of radius: float
    | Rectangle of width: float * height: float

// Primer funkcije sa usklađivanjem uz obrazac
let calculateArea shape =
    match shape with
    | Circle r -> System.Math.PI * r * r
    | Rectangle (w, h) -> w * h

Funkcionalni pristup u F# podstiče kreiranje modularnih, lako testiranih i paralelizabilnih programa.