ML - это семейство языков функционального программирования, включая SML, OCaml и F#. ИСПОЛЬЗУЙТЕ тег [машинное обучение] для машинного обучения.

ML - это семейство функциональных языков программирования, созданное Робином Милнером, ученым-компьютерщиком, получившим награду Тьюринга. Первоначально он создавался как метаязык для средства доказательства теорем (отсюда и название), но быстро стал использоваться как язык программирования общего назначения. Одна из самых известных характеристик ML - это вывод типов, поддерживающий параметрический полиморфизм.

Некоторыми хорошо известными диалектами ML являются Standard ML ( sml), OCaml ( ocaml) и F# ( F#).