Ce este programarea funcțională în F#?

F# este un limbaj multiparadigmă, dar fundamentul său este programarea funcțională. Aceasta înseamnă că programele în F# sunt construite în principal în jurul funcțiilor "curate" - fără efecte secundare și care întotdeauna returnează același rezultat pentru aceleași date de intrare. Principalele concepte includ:

• Imutabilitate: În mod implicit, datele în F# sunt imuabile. Variabilele sunt legături (bindings), iar valorile lor nu pot fi modificate după creare. Acest lucru simplifică raționamentul despre program și crește siguranța în mediile multi-thread.
• Funcții ca obiecte de primă clasă: Funcțiile pot fi atribuite variabilelor, transmise ca argumente altor funcții și returnate din funcții.
• Currying: Funcțiile în F# acceptă doar un argument. Funcțiile care acceptă mai mulți argumente sunt transformate automat într-o secvență de funcții, fiecare acceptând un singur argument.
• Potrivirea cu modele (Pattern Matching): O construcție puternică pentru descompunerea datelor și efectuarea de acțiuni în funcție de structura lor.
• Inferența tipurilor: Compilatorul F# poate determina automat tipurile majorității expresiilor, reducând necesitatea specificării explicite a tipurilor.
• Expresii: Majoritatea construcțiilor în F# sunt expresii care returnează o valoare. Acest lucru permite construirea unui cod mai concis.

F# utilizează activ tipuri de date algebrice (ATDs):

• Înregistrări (Records): Tipuri de date imuabile cu câmpuri numite.
• Uniuni discriminante (Discriminated Unions): Tipuri de date care reprezintă unul dintre mai multe valori posibile, fiecare cu date asociate. Sunt folosite pentru modelarea unui număr finit de stări sau variante.

// Exemplu de înregistrare imuabilă
type Person = { Name: string; Age: int }

// Exemplu de uniune discriminantă
type Shape =
    | Circle of radius: float
    | Rectangle of width: float * height: float

// Exemplu de funcție cu potrivire cu modele
let calculateArea shape =
    match shape with
    | Circle r -> System.Math.PI * r * r
    | Rectangle (w, h) -> w * h

Abordarea funcțională în F# favorizează crearea de programe modulare, ușor de testat și de paralelizat.