Programmation Avancée

Cours sur les variants polymorphes et GADTs

Diapositives

gadt.pdf

Code

Arbres rouge et noir, code original:

redblack.ml

Variants polymorphes:

redblack1.ml (variants polymorphes)
redblack2.ml (constructeurs de noeuds colorés)
redblack3.ml (invariant de couleur)

GADT:

Quelques petits exemples: printf, term, typ
Fichier redblack4.ml (invariant de hauteur noire)