In
informatica la
programmazione funzionale è un
paradigma di programmazione in cui il flusso di
esecuzione del
programma assume la forma di una serie di valutazioni di
funzioni matematiche. Il punto di forza principale di questo paradigma è la mancanza di
effetti collaterali (
side-effect) delle funzioni, il che comporta una più facile verifica della correttezza e della mancanza di
bug del programma e la possibilità di una maggiore ottimizzazione dello stesso. Un uso particolare del paradigma, per l'ottimizzazione dei programmi, è quello di trasformare gli stessi per utilizzarli nella
programmazione parallela.