Questions Columns Rows
GitHub icon

Standard ML

Standard ML - Programming language

< >

Standard ML is a programming language created in 1990.

#157on PLDB 33Years Old 392kRepos

Try now: Riju

Standard 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 (LCF) theorem-proving project. Read more on Wikipedia...


Example from Riju:
print "Hello, world!\n";
Example from hello-world:
fun hello() = print("Hello World\n"); hello()
Example from Linguist:
signature LAZY_BASE = sig type 'a lazy exception Undefined val force: 'a lazy -> 'a val delay: (unit -> 'a) -> 'a lazy val undefined: 'a lazy end signature LAZY' = sig include LAZY_BASE val isUndefined: 'a lazy -> bool val inject : 'a -> 'a lazy val toString: ('a -> string) -> 'a lazy -> string val eq: ''a lazy * ''a lazy -> bool val eqBy: ('a * 'a -> bool) -> 'a lazy * 'a lazy -> bool val compare: ('a * 'a -> order) -> 'a lazy * 'a lazy -> order val map: ('a -> 'b) -> 'a lazy -> 'b lazy structure Ops: sig val ! : 'a lazy -> 'a (* force *) val ? : 'a -> 'a lazy (* inject *) end end
Example from Wikipedia:
- haar [1, 2, 3, 4, ~4, ~3, ~2, ~1]; val it = [0,20,4,4,~1,~1,~1,~1] : int list

Language features

Feature Supported Token Example
Print() Debugging print
Type Inference
Semantic Indentation X
Line Comments X

View source

- Build the next great programming language · Search · Add Language · Features · Creators · Resources · About · Blog · Acknowledgements · Stats · Sponsor · Traffic · Traffic Today · Day 278 · feedback@pldb.com · Logout