Repository navigation
Standard ML
Created by Robin Milner, Mads Tofte, Robert Harper
发布于 1983
- Website
- sml-family.org
- Wikipedia
- 维基百科
相关主题
F#OCamlStandard ML (SML; "Standard Meta Language") is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers.
SML is a modern dialect of ML, the programming language used in the Logic for Computable Functions theorem-proving project. It is distinctive among widely used languages in that it has a formal specification.
The Standard ML compiler that produces Lua/JavaScript
The MaPLe compiler: efficient and scalable parallel functional programming
Moscow ML is a light-weight implementation of Standard ML (SML), a strict functional language widely used in teaching and research.
A language server for Standard ML in Rust.
Generic package manager for Standard ML libraries and programs
TiML: A Functional Programming Language with Time Complexity
A custom parser/auto-formatter for Standard ML
Manipulate INI files from the command line
A Tour of Standard ML (in the style of A Tour of Go)
This project is the legacy version of Standard ML of New Jersey that continues to support older systems (e.g., 32-bit machines).
An experimental language server for SomewhatML
Tiger Compiler from Modern Compiler Implementation in ML
an SML language server that uses SML/NJ's "visible compiler" feature
