Conception Et Analyse Des Programmes Purement Fonctionnels Deuxieme Edition

Cette nouvelle dition contient de nouveaux chapitres pour les lves de licence, o la progression est volontairement lente et chaque tape est explique. Le chapitre sur le tri par interclassement a t rcrit pour plus de clart et de nouveaux rsultats ont t inclus. Un grand chapitre sur XSLT a t ajout.



Ce livre s'adresse a priori diffrents publics dont l'intrt

commun est la programmation fonctionnelle.



Pour les tudiants de licence, nous offrons une introduction trs progressive la programmation fonctionnelle, en proposant de longs dveloppements sur les algorithmes sur les piles et quelques types d'arbres binaires. Nous abordons aussi l'tude de l'allocation mmoire travers la synonymie (partage dynamique de donnes), le rle de la pile de contrle et du tas, le glanage automatique de cellules (GC), l'optimisation des appels terminaux et le calcul de la mmoire totale alloue. Avec le langage fonctionnel Erlang, nous approfondissons les sujets de la transformation de programme vers la forme terminale, les fonctions d'ordre suprieur et le style avec continuations. Une technique de traduction de petits programmes fonctionnels vers Java est aussi prsente.



Pour les tudiants de master, nous associons tous les programmes fonctionnels l'analyse mathmatique dtaille de leur cot (efficacit) minimum et maximum, mais aussi moyen et amorti. La particularit de notre approche est que nos outils mathmatiques sont lmentaires (analyse relle, induction, dnombrement) et nous recherchons systmatiquement des encadrements explicites de faon dduire des quivalences asymptotiques. Par ailleurs, nous couvrons en dtail des preuves formelles de proprits, comme la correction, la terminaison et l'quivalence.



Pour les professionnels qui ne connaissent pas les langages fonctionnels et qui doivent apprendre programmer avec le langage XSLT, nous proposons une introduction XSLT qui s'appuie directement sur la partie ddie aux tudiants de licence. La raison de ce choix didactique inhabituel repose sur le constat que XSLT est rarement enseign l'universit ou dans les coles d'ingnieurs, donc les programmeurs qui n'ont pas t familiariss la programmation fonctionnelle font face aux deux dfis d'apprendre un nouveau paradigme et d'employer XML pour programmer: alors que le premier met en avant la rcursivit, le second l'obscurcit cause de la verbosit intrinsque XML. En apprenant d'abord un langage fonctionnel abstrait, puis XML, nous esprons favoriser un transfert de comptence vers la conception et la ralisation en XSLT sans intermdiaire.