linguaggio funzionale

linguaggio funzionale

linguaggio funzionale particolare tipo di → linguaggio di programmazione dotato di un paradigma di programmazione che si richiama al concetto di funzione, sia come definizione sia come applicazione di una funzione ad argomenti. I linguaggi funzionali sono usati soprattutto in ambito accademico e scientifico. Una loro applicazione è la manipolazione simbolica di formule. Tra i più famosi, il → _LISP. I linguaggi funzionali si contrappongono ai → linguaggi procedurali, i quali implicano una sequenza imperativa di comandi da eseguire e modificano a ogni passo lo stato del programma stesso. I modelli di programmazione funzionale sostituiscono il classico modo di scrivere gli algoritmi attraverso le istruzioni perché i valori non vengono trovati cambiando lo stato del programma bensì costruendo nuovi stati a partire dai precedenti secondo trasformazioni ammissibili (→ lambda-calcolo; → combinatore).