SML
1 program
Added 2026-02-26T00:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: Standard ML, ML
Provenance: commit 4308e16072 · authored 2026-02-26T13:05:37+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
5 sources · pl_id:
pl/smlWikipedia infobox ↗
Pulled from the
wikimedia/structured-wikipedia
snapshot — see data/raw/wikipedia_pl_facts.*.jsonl and
pl_fact.csv for the long-table provenance.
| Paradigms | multi-paradigm: functional · imperative · modular |
|---|---|
| Typing | inferred, static, strong |
| First appeared | 1983 |
| Influenced by | ML · Hope · Pascal |
| Homepage | https://smlfamily.github.io/ |
Extensions claimed by this language
4 claims. Each row is one upstream assertion with its strength.
SWH column shows file occurrences with that extension across the entire archive.| Extension | Source | Strength | SWH |
|---|---|---|---|
.sml | pygments | primary | 517.0K files |
.sml | wikidata | primary | 517.0K files |
.fun | pygments | secondary | 50.5K files |
.sig | pygments | secondary | 9.0M files |
Related languages
Standard ML (1.00)Standard Lisp (0.38)SML/NJ (0.33)Standard Pascal (0.29)Portable Standard Lisp (0.25)
LLM-contributed programs
Quicksort
Provenance: commit 4308e16072 · authored 2026-02-26T13:05:37+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
fun quicksort [] = []
| quicksort (x::xs) =
let
val smaller = List.filter (fn y => y < x) xs
val greater = List.filter (fn y => y >= x) xs
in
quicksort smaller @ [x] @ quicksort greater
end
val result = quicksort [3, 1, 4, 1, 5, 9, 2, 6, 5, 3, 5]
val () = List.app (fn x => print (Int.toString x ^ " ")) result
val () = print "\n"
Real programs from Software Heritage
No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)