Оглавление:
Определение - Что означает стандарт ML (SML)?
Standard ML (SML) - это более новая версия языка программирования «Meta Language» или ML, разработанная в 1970-х годах. ML имеет корни в LISP, который является одним из семейства вычислительных языков программирования с префиксной нотацией в скобках.
Техопедия объясняет стандарт ML (SML)
Как последовательный вариант мета-языка, стандартный мета-язык является модульным языком программирования. Он имеет проверку типа времени компиляции и вывод типа. Некоторые эксперты говорят, что у него есть некоторые «нечистые» возможности с точки зрения оценки выражений и использования различных операторов или команд.
Стандартный ML - язык общего назначения. Люди в настоящее время используют его для создания программных продуктов. Они могут использовать его для кодирования систем с собственным кодом, которые работают в различных операционных системах. Тем не менее, некоторые скажут, что стандартный ML - это не особый вид нишевого программного обеспечения, а всего лишь своего рода всесторонний язык программирования для использования в унаследованных системах или при переходе на более современные системы. Например, кто-то может использовать Standard ML вместе с C или C # для кодирования или обновления программного продукта.
