Programmazione funzionale: differenze tra le versioni

Il [[Lambda calcolo]] può essere considerato il primo linguaggio di programmazione funzionale, anche se non fu progettato per essere eseguito su una macchina. Il Lambda calcolo è un modello di computazione progettato da [[Alonzo Church]] negli [[Anni 1930|anni trenta]] che fornisce un modo molto formale di descrivere la valutazione di funzioni. Il primo linguaggio di programmazione funzionale, progettato per un computer, fu l'[[Information Processing Language]] (IPL), sviluppato da Newell, Shaw e Simon alla [[RAND Corporation]] per il computer [[JOHNNIAC]], a metà degli [[Anni 1950|anni cinquanta]]. Un linguaggio funzionale molto migliorato fu il [[Lisp|LISP]], sviluppato da [[John McCarthy]], mentre si trovava al ''[[Massachusetts Institute of Technology]]'', per i computer della serie [[IBM 700/7000]], alla fine degli anni '50. Anche se non era un linguaggio puramente funzionale, il LISP introdusse molte delle caratteristiche oggi trovate nei moderni linguaggi funzionali. Il linguaggio [[Scheme]] fu un successivo tentativo di semplificare e migliorare il LISP. Negli [[Anni 1970|anni settanta]], all'[[Università di Edimburgo]] fu creato il [[ML programming language|linguaggio ML]] e all'[[Università di Kent]] [[David Turner]] creò il [[linguaggio Miranda]]. Il [[Haskell (linguaggio)|linguaggio Haskell]] fu creato e rilasciato alla fine degli [[Anni 1980|anni ottanta]] come tentativo di mettere insieme molte delle idee della ricerca sulla programmazione funzionale.

Le [[Iterazione|iterazioni]], un altro costrutto della programmazione imperativa, sono ottenute attraverso il costrutto più generale delle chiamate ricorsive a funzioni. Le [[Funzione ricorsiva|funzioni ricorsive]] invocano se stesse permettendo di eseguire più e più volte una stessa operazione. Può essere dimostrato che un'iterazione è equivalente ad uno speciale tipo di ricorsione chiamata ''[[tail recursion]]''. La ricorsione nella programmazione funzionale può assumere molte forme e, in generale, è una tecnica più potente dell'iterazione. Per questa ragione, quasi tutti i linguaggi imperativi la supportano (con la notevole eccezione del [[Fortran|Fortran 77]] e del [[COBOL|Cobol]], prima del [[2002]]).

Molti programmatori abituati ai paradigmi imperativi trovano difficile imparare la programmazione funzionale, la quale richiede un approccio nello scrivere i programmi completamente differente. Questa difficoltà insieme al fatto che gli ambienti dei linguaggi funzionali non hanno la stessa quantità di strumenti e librerie disponibili dei linguaggi tradizionali, sono tra le ragioni principali per cui la programmazione funzionale ha avuto poco utilizzo nell'industria del software. I linguaggi funzionali sono rimasti largamente di dominio accademico e hobbystico e quei linguaggi che hanno avuto un maggiore utilizzo sono linguaggi funzionali 'non puri', come l'[[Erlang (linguaggio)|Erlang]] e il [[Common LISP|Common Lisp]]. Si potrebbe dire che la maggiore influenza dei linguaggi funzionali sull'industria del software sia stata data da quei programmatori, nati in ambito accademico, che hanno usato lo stile di programmazione funzionale 'non puro' con i tradizionali linguaggi di programmazione imperativi.