Extrapedia

In Informatica, la Programmazione funzionale è un paradigma di programmazione - uno stile di costruzione della struttura e degli elementi dei programmi per computer - che tratta il calcolo come la valutazione delle funzioni matematiche ed evita di cambiare stato e dati mutabili. È un paradigma di programmazione dichiarativa, il che significa che la programmazione è fatta con espressioni o dichiarazioni. ¹⁾ Il valore di uscita di una funzione dipende solo dagli argomenti che sono passati alla funzione stessa, quindi chiamare una funzione “f” due volte con lo stesso valore per un argomento “x” produce lo stesso risultato f (x) ogni volta; questo è in contrasto con le procedure che dipendono da uno stato locale o globale, che può produrre risultati diversi in momenti diversi quando sono chiamati con gli stessi argomenti ma con uno stato di programma diverso. Eliminare gli effetti collaterali, cioè i cambiamenti di stato che non dipendono dagli input delle funzioni, può rendere molto più facile comprendere e prevedere il comportamento di un programma, che è una delle motivazioni chiave per lo sviluppo della programmazione funzionale.