Standard ML
Standard ML (SML) is a general-purpose, high-level, modular, functional programming language with compile-time type checking and type inference. It is popular for writing compilers, for programming language research, and for developing theorem provers. Wikipedia
Created Year: 1983Developed by: Robin Milner
Aliases: SML
File extensions: sml
Wikidata: Q597330
Influenced: Concurrent ML • Elm • F* • Nemerle • OCaml • Python • Rust • Scala • Standard ML of New Jersey
Influenced by: ML
Programming paradigms: functional programming • imperative programming • modular programming • procedural programming
Language types: functional programming language • interpreted language • procedural programming language
Standard ML Influence Network
Pan and zoom the graph with your mouse or alternatively your fingers on touch devices.
Hello World in Standard ML
fun hello() = print("Hello World\n");
hello()
Free Standard ML books, articles, documentation
- Introduction to Standard ML - Atsushi Ohori (PDF)
- ML for the Working Programmer, 2nd Edition - Lawrence C. Paulson
- Programming in Standard ML '97 - Stephen Gilmore, University of Edinburgh
- Programming in Standard ML, DRAFT - Robert Harper (PDF)
- SML# Document - Atsushi Ohori, Katsuhiro Ueno
- The Definition of Standard ML (Revised) - SMLFamily GitHub project (PDF)
- The Standard ML Basis Library - Emden R. Gansner, John H. Reppy (HTML)
- Unix System Programming with Standard ML - Anthony L. Shipman (PDF)
Search on GitHub
Name | Description | Last pushed to | Open issues | Forks | Stars | Size |
---|
Latest data update: 2024-11-13