 development. НравитсяНравится Ответить Аноним:  00.00.0000 в 00:00 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.