2.4. Языки программирования ML (прим.: Meta Language) – семейство строгих языков функционального программирования с развитой параметрически полиморфной системой типов и параметризуемыми модулями
