ML (pian-têng gú-giân)

ML
Pian-têng hoān-hêng	Multi-paradigm: functional,; generic, imperative, interactive
Nńg-thé siat-kè	Robin Milner, others at; the University of Edinburgh
Siú-chhù hoat-hêng	1973 nî; 52 nî í-chêng
Lūi-hêng hē-thóng	Inferred, static, strong
Ián-seng hù-gí-giân
	Dependent ML, Lazy ML, ATS
Khé-hoat gí-giân
	ISWIM, POP-2, PAL, GEDANKEN
Éng-hióng gí-giân
	Caml, Clojure, Cyclone, C++, Elm,Erlang, F#, F*,; Haskell, Idris, Kotlin,Miranda, Nemerle,OCaml,; Opa, Rocq, Rust, Scala, Standard ML

ML (Meta gú-giân) sī 20 sè-kí 70 nî-tāi Edinburgh LCF tīng-lí tsìng-bîng-khì sóo khai-huat ê Meta gú-giân. ML sī tsi̍t-tsióng tsá-kî ê tsīng-thài luī-hîng hâm-sòo hong-sik ê gú-giân, kū-iú Hindley-Milner hong-keh ê to-thài luī-hîng thui-tuān, í-ki̍p kî-thann ti̍k-sìng pí-jû ī-siông hām khó-piàn piàn-sòo.[1]^[1] LCF tang-tiong ML ê siat-kè ti̍t-tsiap khé-huat āu--lâi ê ML hē-lia̍t ê gú-giân (ti̍k-pia̍t sī Standard ML, Caml kah i-ê ên-sin gú-giân); pīng-tshiánn íng-hióng āu-sio̍k hâm-sòo hong-sik gú-giân ê huat-tián.^[4]

Tsù-kái

1 2 Gordon, M.; Milner, R.; Wadsworth, C. P. (1979). Edinburgh LCF: A Mechanized Logic of Computation. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/3-540-09724-4. ISBN 978-3-540-09724-2.
↑ Tate, Bruce; Dees, Ian; Daoud, Frederic; Moffitt, Jack (November 18, 2014). Seven more languages in seven weeks: languages that are shaping the future. Pragmatic programmers (P1.0 pán.). Dallas: The Pragmatic Bookshelf. pp. 97,101. ISBN 978-1-941222-15-7. I tend to say 'Elm is an ML-family language' to get at the shared heritage of all these languages [Haskell, OCaml, SML, F#].
↑ Programming language for "special forces" of developers, Russian Software Development Network: Nemerle Project Team, January 24, 2021 khòaⁿ--ê
↑ MacQueen, David; Harper, Robert; Reppy, John (2020-06-14). "The history of Standard ML". Proceedings of the ACM on Programming Languages (ēng Eng-gí). 4 (HOPL): 1–100. doi:10.1145/3386336. ISSN 2475-1421.

Ên-sin ua̍t-to̍k

Christoph Kreitz, Vincent Rahli, Introduction to Classic ML (Archived July 8, 2024), Cornell University, October 2011. Lecture notes on a dialect of ML close in spirit to LCF/ML.
Luca Cardelli, Papers (Archived January 25, 2026), Oxford University. Lists papers concerning the development of Cardelli ML/ML under VMS/ML under Unix.

Tsham-ua̍t

HOL (proof assistant)
Hope (programming language)
Isabelle (proof assistant)
Nuprl
Au-chiu Phòaⁿ-lē Hoat Sek-pia̍t-bé

Guā-pōo liân-kiat

[:1-1] 1 2 Gordon, M.; Milner, R.; Wadsworth, C. P. (1979). Edinburgh LCF: A Mechanized Logic of Computation. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer Berlin Heidelberg. doi:10.1007/3-540-09724-4. ISBN 978-3-540-09724-2.

[2] Tate, Bruce; Dees, Ian; Daoud, Frederic; Moffitt, Jack (November 18, 2014). Seven more languages in seven weeks: languages that are shaping the future. Pragmatic programmers (P1.0 pán.). Dallas: The Pragmatic Bookshelf. pp. 97,101. ISBN 978-1-941222-15-7. I tend to say 'Elm is an ML-family language' to get at the shared heritage of all these languages [Haskell, OCaml, SML, F#].

[3] Programming language for "special forces" of developers, Russian Software Development Network: Nemerle Project Team, January 24, 2021 khòaⁿ--ê

[:0-4] MacQueen, David; Harper, Robert; Reppy, John (2020-06-14). "The history of Standard ML". Proceedings of the ACM on Programming Languages (ēng Eng-gí). 4 (HOPL): 1–100. doi:10.1145/3386336. ISSN 2475-1421.

[1]