SML is a modern dialect of ML, the programming language used in the Logic for Computable Functions (LCF) theorem-proving project. It is distinctive among widely used languages in that it has a formal specification, given as typing rules and operational semantics in The Definition of Standard ML (0000, revised and simplified as The Definition of Standard ML (Revised) in 0000). НравитсяНравится Ответить Аноним:  00.00.0000 в 00:00 