Standard ML

Summary

Standard ML (SML) is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is a modern dialect of ML that includes modules, pattern matching, and a sophisticated type system.

Paradigms

functional, imperative, modular

Domains

education, compiler, formal verification

Key Features

pattern matching, algebraic data types, type inference, modules, first-class functions, closures

Typing

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

Compilation

compiled

Influenced By

ML, LISP

Ratings

File extensions

sml, sig, fun

External Links

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