Il reste des niches où SML est assez actif, en particulier c'est le langage d'implémentation de l'assistant de preuve Isabelle qui est très bon et utilisé par une large communauté—relativement au groupe d'utilisateurs d'assistants de preuve, qui restent aujourd'hui surtout des outils académiques.
[^] # Re: SML
Posté par gasche . En réponse à la dépêche OCaml 4.04 et 4.05. Évalué à 5.
Il reste des niches où SML est assez actif, en particulier c'est le langage d'implémentation de l'assistant de preuve Isabelle qui est très bon et utilisé par une large communauté—relativement au groupe d'utilisateurs d'assistants de preuve, qui restent aujourd'hui surtout des outils académiques.