Programmation Avancée

Cours sur les variants polymorphes et GADTs

Diapositives

gadt.pdf

Code

Arbres rouge et noir, code original:

redblack.ml

Variants polymorphes:

Fichiers redblack[123].ml dans redblack/

GADT:

Quelques petits exemples ici
Fichier gadt/redblack4.ml