Poly/ML – Une implémentation de Standard ML

Poly/ML est une implémentation du langage de programmation Standard ML, un langage fonctionnel typé statiquement issu de la recherche académique. Le projet, hébergé sur GitHub, propose un compilateur et un environnement d'exécution performants. Standard ML reste utilisé dans certains domaines de la recherche en informatique théorique et en vérification formelle.