Programmation Fonctionnelle : Conception et Analyse

Public et conditions d'accès Prérequis : Pratique de la programmation: par exemple, avoir le niveau des UES NFA031 et NFA032, ou équivalents pour d'autres langages de programmation. Public concerné : Toute personne soucieuse d'élargir son champ de compétence en programmation par l'apprentissage de langages fonctionnels. Objectifs pédagogiques Tous les langages de programmation modernes admettent des traits impératifs, fonctionnels et/ou objets, correspondant ‡ des styles de programmation particuliers. Il convient donc de maitriser chacun de ces styles afin de les mobiliser ‡ bon escient.†Ce cours a pour objectif d'approfondir le paradigme fonctionnel de la programmation par l'étude d'au moins un langage fondé sur un noyau purement fonctionnel. Cette étude sera ensuite élargie ‡ un contexte multi-paradigmes, et éventuellement illustrée par un autre langage comme Java ou Scala. Ce cours est également conseillé comme préparation aux UES NFP209 et 210 du parcours Fiabilité des SystËmes (option AISL du diplôme d'ingénieur). † Compétences visées Connaissance et pratique d'un langage fonctionnel. Mise en oeuvre de programmes fonctionnels sur des structures des données récursives. Préparation au parcours fiabilité des systËmes (pour les UES NFP209 et NFP210 de l'option AISL du diplôme d'ingénieur). Voir aussi toutes les formations en Méthode de programmation Langage caml Logiciel sur Qualité du logiciel