UE Algorithmique et programmation fonctionnelle - INF201 -

Programme résumé : 

- Types simples, produit, somme ; vérification et inférence de type
  - Fonctions : spécification, réalisation
  - Composition fonctionnelle et conditionnelle ; analyse descendante,
analyse par cas
  - Définitions récursives de types et de fonctions ; analyse
récurrente, équations récursives, modèles d'analyse
  - Constructeurs de types complexes : naturels de Peano, séquences,
arbres binaires, ...
  - Ordre supérieur : introduction, lambda-notation, fonctions anonymes,
description de schémas de programmes
  - Expérimentation sur machine : langage : Ocaml ; exploitation des
informations fournies par l'interprète du langage (messages d'erreurs,
vérification et inférence de type) ; problématique de test et de mise au
point des programmes : observation de traces d'exécution.

A la fin de l'UE, l'étudiant est capable :
  - de reconnaître les constituants de base d'un langage de
programmation fonctionnel
  - de modéliser l'information grâce à une hiérarchie de types, vérifier
et inférer le type d'une expression
  - de définir de façon récursive les naturels, séquences et arbres et
leurs modèles d'analyse associés ; savoir les utiliser pour la
définition de type récursifs et la conception de programmes récursifs.
  - de séparer les phases d'analyse, de spécification, de réalisation et
de tests, lors de la résolution d'un problème informatique
  - de conduire divers types d'analyse : descendante, par cas, récursive
; savoir réutiliser des modèles de solutions.
  - d'exploiter les règles sémantiques d'un langage lors de la
validation de solutions.
  - d'utiliser correctement les notions de base de la programmation
d'ordre supérieur

Langage(s) et environnement utilisé(s) : oCAML, Linux

INF101, MAT101

• Connaître les constituants de base d'un langage de programmation fonctionnel
• Savoir modéliser l'information grâce à une hiérarchie de types, vérifier et inférer le type d'une expression
• Connaître les définitions récursives des naturels, séquences et arbres et leurs modèles d'analyse associés ; savoir les utiliser pour la définition de type récursifs et la conception de programmes récursifs.
• Savoir séparer, lors de la résolution d'un problème informatique, les phases d'analyse, de spécification, de réalisation et de tests.
• Savoir conduire divers types d'analyse : descendante, par cas, récursive ; savoir réutiliser des modèles de solutions.
• Savoir exploiter les règles sémantiques d'un langage lors de la validation de solutions.
• Connaître les notions de base de la programmation d'ordre supérieur