Typage et programmation

Nature	UE

Pré-requis

Programmation Objet et Programmation impérative

Programmation fonctionnelle ; notions de typage et différents types de typage ; types d’erreur ; algorithmes de typage

Programmation en Ocaml et typage ;
Algorithmes de typage de Java et de C++ ;
Templates en C++ et comparaison avec la généricité en Java et Ocaml

Programmation fonctionnelle ; notions de typage et différents types de typage ; types d’erreur ; algorithmes de typage