software.wikisort.org - Langage_de_programmation
Standard ML (SML) est un langage de programmation généraliste, modulaire, fonctionnel. Il est doté d'un système de typage statique fort par inférence de types.
Cet article est une ébauche concernant l’informatique.
Vous pouvez partager vos connaissances en l’améliorant (comment ?) selon les recommandations des projets correspondants.
Cet article ne cite pas suffisamment ses sources ().
Si vous disposez d'ouvrages ou d'articles de référence ou si vous connaissez des sites web de qualité traitant du thème abordé ici, merci de compléter l'article en donnant les références utiles à sa vérifiabilité et en les liant à la section « Notes et références »
En pratique : Quelles sources sont attendues ? Comment ajouter mes sources ?
| Standard ML | |
| Date de première version | |
|---|---|
| Paradigme | impératif, fonctionnel |
| Typage | fort, statique |
| Dialectes | Alice, Dependent ML |
| Influencé par | ML (langage) |
| Implémentations | MLton, MLWorks, Moscow ML, Poly/ML, SML/NJ |
| Site web | smlfamily.github.io |
| Extension de fichier | sml |
| modifier |
|
SML descend directement du langage ML.
Il existe de nombreuses implémentations de SML, dont le Standard ML of New Jersey, Concurrent ML, MLton, MLWorks, Moscow ML et Poly/ML.
Portail de la programmation informatique
На других языках
- [fr] Standard ML
[ru] Standard ML
Standard ML (SML) — компилируемый язык программирования общего назначения высшего порядка[en], основанный на системе типов Хиндли — Милнера.Другой контент может иметь иную лицензию. Перед использованием материалов сайта WikiSort.org внимательно изучите правила лицензирования конкретных элементов наполнения сайта.
WikiSort.org - проект по пересортировке и дополнению контента Википедии