ExpertClub
Advertise
ExpertClub
Advertise
  1. Home
  2. Programming languages
  3. Standard ML
Language

Standard ML

Paradigmsmodular programming, imperative programming, functional programming, procedural programming
Typing disciplinestatic typing, inference typing, strong typing
First appeared1983
DeveloperRobin Milner
Typeinterpreted language, dialect, procedural programming language, functional programming language
Influenced byML
File extensionssml
Websitesmlfamily.github.io

Sources: Wikidata (CC0) · Wikidata Q597330

Programming languages · 7

LanguageParadigmsFirst appearedDeveloper
Concurrent ML———
F*functional programming, imperative programming—Microsoft Research, Institut National de Recherche en Informatique et en Automatique
Nemerlemetaprogramming, object-oriented programming, multi-paradigm programming, imperative programming, procedural programming, functional programming2003JetBrains, University of Wrocław
OCamlfunctional programming, modular programming, object-oriented programming, imperative programming1996Institut National de Recherche en Informatique et en Automatique
Rustgeneric programming, concurrent computing, procedural programming, functional programming, imperative programming, object-oriented programming2006Mozilla, Rust Foundation, Graydon Hoare
Scalaconcurrent computing, functional programming, imperative programming, object-oriented programming2004École polytechnique fédérale de Lausanne, Martin Odersky
Standard ML of New Jerseyprocedural programming2002—