Standard ML of New Jersey
Standard ML of New Jersey (ou SML/NJ) est un compilateur et un environnement de développement pour Standard ML. Il fut à l'origine développé conjointement par les laboratoires Bell et l'université de Princeton.
Standard ML of New Jersey | |
Date de première version | |
---|---|
Paradigme | fonctionnel |
Dernière version | 110.99 ()[1] |
Typage | fort |
Influencé par | Standard ML |
Licence | Standard ML of New Jersey License (d) |
Site web | http://www.smlnj.org/ |
Fonctionnalités
SML/NJ intègre un certain nombre de nouvelles fonctionnalités par rapport à Standard ML, dont voici une liste non exhaustive :
- un accès à certaines fonctions internes du compilateur,
- des pointeurs faibles,
- des suspensions paresseuses, permettant l'utilisation d'une évaluation paresseuse,
- des continuations de premier ordre,
- un accès à certaines information du moteur d'exécution.
Notes et références
Annexes
Articles connexes
Cet article est issu de Wikipedia. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.