Standard ML of New Jersey
langage de programmation
Cet article est une ébauche concernant l’informatique.
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.72 ()[1] 110.99 ()[2] 110.99.1 ()[3] 110.99.2 ()[4] 110.99.3 ()[5] 2022.1 ()[6] 110.99.4 ()[7] 110.99.9 ()[7] 2025.3 ()[7] 2026.2 ()[7] |
| Typage | fort |
| Influencé par | Standard ML |
| Licence | Standard ML of New Jersey License (d) |
| Site web | http://www.smlnj.org/ |
modifier  |
|
Fonctionnalités
modifierSML/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 informations du moteur d'exécution.
Notes et références
modifier- ↑ « https://smlnj.org/dist/working/110.72/index.html »
- ↑ « https://smlnj.org/dist/working/110.99/index.html »
- ↑ « https://www.smlnj.org/dist/working/110.99.1/index.html »
- ↑ « https://www.smlnj.org/dist/working/110.99.2/index.html »
- ↑ « https://www.smlnj.org/dist/working/110.99.3/index.html »
- ↑ « https://www.smlnj.org/dist/working/2022.1/index.html »
- 1 2 3 4 « https://www.smlnj.org/ »
