Standard ML

Summary

A general-purpose, modular, functional programming language with compile-time type checking and type inference. It is known for its sophisticated module system and algebraic data types.

Paradigms

functional, imperative, modular

Domains

education, compiler, formal verification, automated theorem proving

Key Features

pattern matching, algebraic data types, type inference, first-class functions, modules, tail-call optimization, currying

Typing

static system, structural typing, strong typing, full inference, compile-time checking, none type coercion, optional type annotations

Compilation

compiled

Influenced By

ML, LISP, ISWIM

Influenced

Standard ML of New Jersey, OCaml, Rust, Scala, Concurrent ML, F*, Nemerle, Python

Ratings

File extensions

sml, sig, fun

External Links

• Standard ML official site
• Standard ML jobs at Devjobsscanner
• Trending GitHub repositories