Programmation Avancée
Cours sur les modules de (OCa)ML
Diapositives
Code
- premiers exemples: modules.ml, html
- multi-ensembles: multiset.ml, html
- ensembles avec un foncteur: setmake.ml, html
-
ensembles avec un foncteur et
with
: setmakebis.ml, html -
exercice avec
with
: printord.ml, html - modules mutuellement récursifs: recursive.ml, html
-
jouer avec
-dlambda
: dlambda.ml, html