Master 1 Math-Info     Programmation fonctionnelle

En guise d' introduction ... Enseignants Cours/TD/TP : Cyrille Bertelle Merci à Alain Cardon pour avoir initier cet enseignement, il y a quelques années. Cours Plan du cours Présentation de Lisp Lisp-Contexte et objets de base Contexte, historique Modèle de développement Les objets LISP Les fonctions Liaisons statiques et dynamiques Constructions conditionnelles, itérations, séquences Liaisons locales et globales Traitement des listes et Récursions Abstraction Ensembles Arbres binaires P-listes ou listes de priorités Présentation de Caml Déclaration des variables et évaluation des expressions (syntaxe et typage) Les fonctions 5 moyens de définir une fonction Définition Caml des fonctions à un argument Evaluation d'une fonction à un argument Déclarations locales et environnements Alternative et typage fort Définitions récursives Fonctions à plusieurs arguments Listes chaînées Filtrage de motifs et déclaration de types Exercices sur les listes avec le filtre match Tris sur des listes TD/TP LISP TD/TP n°1 : Welcome Lisp TD/TP n°2 : Function, argument, binding and trapeze TD/TP n°3 : Inside lists world Pour ceux qui ont fini en avance ... le TD/TP n° 3 3/4 TD/TP n°4 : Maple leaf rag ... recursions on trees TD/TP n°5 : P-listes ou listes de propriétés CAML TD/TP n°1 : Introduction à la programmation fonctionnelle en Caml TD/TP n°2 : Compléments sur les fonctions, typage et polymorphisme TD/TP n°3 : Listes, types construits et arbres TD/TP n°3++ : Polynômes TD/TP n°4 : Exceptions et aspects impératifs en Objective Caml TD/TP n°5 : Les aspects objets en Objective Caml Bibliographie C. Queinnec, Les langages LISP , InterEditions, 1994. H. Abelson, G. J. Sussman, J. Sussman, Structures et interprétation des programmes informatiques, InterEditions, 1989. L. Moreau, C. Queinnec, D. Ribbens et M. Serrano, Recueil de petits problèmes en Scheme , Springer, 1999. J.-M. Hufflen, Programmation fonctionnelle en Scheme , Masson, 1996. H. Wertz, (Common) LISP, une introduction à la programmation , Masson, 1989. J. Chazarain, Programmer avec Scheme , International Thomson Publishing, 1996. T. Accart Hardin et V. Donzeau-Gouge Viguié, Concepts et outils de programmation , InterEditions, 1992. P. Weis et X. Leroy, Le langage Caml , InterEditions, 1993. X. Leroy et P. Weis, Manuel de référnec du langage Caml , InterEditions, 1993. Les références suivantes sont à la BU : 1, 2, 3, 5, 7 et 8 Certains de ces livres (Abelson et Sussman, par exemple) ou d'autres livres, généralement en anglais, sont accessibles via le web ... cf. la page de Paul Graham, LISP links books , référencée ci-après. Documentation et logiciels en ligne (liens à vérifier) La page de Linux center sur les langages fonctionnels . LISP primer, une introduction de C. Allen et M. Dhagat. Common Lisp the language, 2nd edition LA référence de Guy L. Steele en 1072 pages. Le polycopié Common lisp de M. Lerevenu du GREYC (Caen). La page de Clisp. La page sur le langage lisp de Paul Graham . LISP links books de Paul Graham (liens sur des livres). Introduction à la programmation en Common Lisp de Francis Leboutte. Traité de programmation en Common Lisp de R. Strandh et I. Durand. La page du site de référence sur scheme (Scheme repository). La page de Dr Scheme. Un cours sur Scheme de R. Girard (La réunion). Le site d'Ocaml à L'Inria. Ici vous avez accès directement à son manuel de Xavier Leroy et al. Plus généralement, la page sur le langage Caml maintenue par l'Inria. Vous y trouverez une mine d'informations, documentations, manuels ... Pour nous contacter.