Funktionale Programmierung

Ce travail traite de la théorie et de la pratique de la programmation fonctionnelle moderne. Cependant, les auteurs ne considèrent pas seulement ce qui est faisable avec les langages mis en œuvre aujourd'hui, tels que HASKELL, OPAL, ML, etc., mais aussi les développements actuels. D'une part, des techniques de programmation avancées sont présentées, telles que l'utilisation de structures de données infinies, des analyseurs comme fonctions d'ordre supérieur, des algorithmes d'approximation, la résolution de systèmes d'équations, etc. D'autre part, les concepts linguistiques sont également abordés, tels qu'une forme systématique de modularisation ou des formes particulièrement expressives et flexibles de typification. Un accent particulier est généralement mis sur l'intégration de différents paradigmes, tels que la connexion avec des concepts de programmation orientée objet, simultanée ou basée sur des contraintes. I.