Voici une introduction à la programmation fonctionnelle et à ses systèmes associés. Une caractéristique unique est l’utilisation du langage Haskell pour enseigner à la fois les rudiments et les subtilités de la technique fonctionnelle. Haskell est un nouveau langage fonctionnel reconnu et accepté à l’échelle internationale, conçu pour l’enseignement, la recherche et les applications, doté d’une description formelle complète, librement disponible et basé sur des idées qui font l’objet d’un large consensus. Ainsi, il résume certains des principaux axes de la programmation fonctionnelle elle-même, qui est un style de programmation conçu pour faire face directement à la crise logicielle. Les programmes écrits dans des langages fonctionnels peuvent être construits à partir de parties plus petites et ils peuvent également être prouvés corrects, ce qui est important lorsque le logiciel doit être fiable. De plus, une certaine quantité de parallélisme peut être extraite automatiquement des langages fonctionnels. Ce livre sert d’introduction à la fois à la programmation fonctionnelle et à Haskell et sera très utile aux étudiants, aux enseignants et aux chercheurs dans l’un ou l’autre de ces domaines. Les chapitres sur la programmation et la mise en œuvre, ainsi qu’un grand nombre d’exercices, sont particulièrement précieux. Langue : Anglais