NFP119 - Programmation Fonctionnelle : Conception et Analyse [ 6 crédits ]

Public Concerné

Pré requis : Connaissance d'un langage de programmation.
Public concerné : Toute personne soucieuse d'élargir son champ de compétence en Programmation et Conception.

Finalité de l'unité d'enseignement

Objectifs pédagogiques

Tous les langages de programmation modernes admettent des traits impératifs, fonctionnels et objets induisants des styles de programmation particuliers. Il convient donc de maitriser chacuns de ces styles afin de les mobiliser à bon escient.
Ce cours a pour objectif d'approfondir les aspects fonctionnels de la programmation par l'étude d'au moins un langage fondé sur un noyau purement fonctionnel. Il s'attachera aussi a fournir les techniques permettant
d'analyser ces programmes.

Capacité et compétences acquises

Maitrise de la conception et de l'analyse des programmes fonctionnels.

Organisation

6Crédits

Contenu de la formation

Partie 1 : apprentissage de la programmation fonctionnelle
- Les bases du langage
- Les fonctions, citoyennes de première classe (fonctions récursives, fonctions d'ordre supérieur, polymorphisme)
- Les types recursifs
- Evaluation applicative ou paresseuse.
- Les modules
Partie 2 : Analyse des programmes fonctionnels.
-Ensembles inductifs
-Raisonnement par induction et définition par récurrence.
Le cours s'organisera autour de cours, d'EDs et de la réalisation
d'un projet dans le langage.

Accès à PLEIAD

ACTUS-PRESSE

CNAM et entreprises

Préinscription en ligne

Documents à télécharger

l’alternance en vidéos