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.

Ce projet est une ressource pédagogique dédiée à l'apprentissage et à la pratique de la programmation fonctionnelle. Il propose un environnement simple pour compiler et exécuter des programmes écrits en OCaml, un langage de programmation fonctionnel. Idéal pour les étudiants ou les développeurs souhaitant se familiariser avec ce paradigme.