Standard ML

Summary

Standard ML is a dialect^[1]. It ranks in the top 5% of dialect entities by monthly Wikipedia readership (366 views/month).^[2]

Key Facts

• Standard ML was influenced by ML^[3].
• Standard ML's instance of is recorded as dialect^[4].
• Standard ML's instance of is recorded as procedural programming language^[5].
• Standard ML's instance of is recorded as interpreted language^[6].
• Standard ML's instance of is recorded as functional programming language^[7].
• Standard ML's developer is recorded as Robin Milner^[8].
• Standard ML's GND ID is recorded as 4295302-9^[9].
• +1983-00-00T00:00:00Z marks the founding of Standard ML^[10].
• Standard ML's Freebase ID is recorded as /m/0pkgc^[11].
• Standard ML's official website is recorded as https://smlfamily.github.io/^[12].
• Standard ML's Dewey Decimal Classification is recorded as 005.13^[13].
• Standard ML's readable file format is recorded as Standard ML source code file^[14].
• Standard ML's writable file format is recorded as Standard ML source code file^[15].
• Standard ML's file extension is recorded as sml^[16].
• Standard ML's Stack Exchange tag is recorded as https://stackoverflow.com/tags/ml^[17].
• Standard ML's GitHub account is recorded as smlfamily^[18].
• Standard ML's Quora topic ID is recorded as Standard-ML^[19].
• Standard ML's Zhihu topic ID is recorded as 19738069^[20].
• Standard ML's programming paradigm is recorded as procedural programming^[21].
• Standard ML's programming paradigm is recorded as imperative programming^[22].
• Standard ML's programming paradigm is recorded as modular programming^[23].
• Standard ML's programming paradigm is recorded as functional programming^[24].
• Standard ML's Microsoft Academic ID is recorded as 2777758133^[25].
• Standard ML's Microsoft Academic ID is recorded as 2779353982^[26].
• Standard ML's typing discipline is recorded as inference typing^[27].

Body

Designation and Status

Recorded instance of include dialect^[4], procedural programming language^[5], interpreted language^[6], and functional programming language^[7].

History and Context

+1983-00-00T00:00:00Z marks the founding of Standard ML^[10].

Why It Matters

Standard ML ranks in the top 5% of dialect entities by monthly Wikipedia readership (366 views/month).^[2] It has Wikipedia articles in 19 language editions, a strong signal of global cultural recognition.^[28]

It has been cited as an influence by Python^[29], an object-based language^[30], founded in 1991^[31]; Rust^[32], a procedural programming language^[33], founded in 2006^[34]; OCaml^[35], an object-based language^[36], founded in 1996^[37]; Scala^[38], an object-based language^[39], founded in 2004^[40]; Elm^[41], a functional programming language^[42], founded in 2012^[43]; and F*^[44], a programming language^[45].

FAQs

Who did Standard ML influence?

Standard ML has been cited as an influence by Python^[29], Rust^[32], OCaml^[35], and Scala^[38].