TP
Objectifs
Programmation fonctionnelle ; notions de typage et différents types de typage ; types d’erreur ; algorithmes de typage
Plan du cours
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
Description des TP
Implémentation de structures de données génériques en Ocaml, C, C++ et Java ; Implémentation de patrons en Ocaml, C++ et Java.
Connaissances requises
Programmation Objet et Programmation impérative
RSE (Responsabilité Sociale et Environnementale)
Bibliographie
- Benjamin C. Pierce. Types and Programming languages. MIT Press.
- Bruce Eckel. Thinking in Java. Prentice Hall.
- Bruce Eckel. Thinking in C++. Prentice Hall