Ce projet développe une implémentation des types ensemblistes appliqués aux variantes polymorphes, une extension du système de types pour les langages fonctionnels. Il permet une vérification de types plus expressive et précise, facilitant la détection d'erreurs à la compilation. Les outils proposés visent à améliorer la robustesse des programmes en exploitant des concepts mathématiques comme les ensembles et les opérations ensemblistes.