Funktionale Programmierung

Questo lavoro si occupa della teoria e della pratica della moderna programmazione funzionale. Tuttavia, gli autori non solo considerano ciò che è fattibile con i linguaggi implementati oggi, come HASKELL, OPAL, ML, etc., ma indicano anche gli sviluppi attuali. Da un lato, vengono presentate tecniche di programmazione avanzate, come l'uso di strutture dati infinite, parser come funzioni di ordine superiore, algoritmi di approssimazione, sistemi di risoluzione delle equazioni, ecc. D'altro canto, vengono discussi anche concetti linguistici, come una forma sistematica di modularizzazione o forme di tipizzazione particolarmente espressive e flessibili. Particolare enfasi è generalmente posta sull'integrazione di diversi paradigmi, come la connessione con concetti di programmazione orientata agli oggetti, concorrente o basata su vincoli. I.