Чем отличается SML от других языков программирования?

Некоторые отличия языка программирования SML (Standard ML) от других языков:

• Система типов. intuit.ru www.neuralword.com В SML каждому выражению (константа, переменная, функция) поставлен в соответствие тот или иной тип. intuit.ru Такая система типизации называется системой сильной типизации. intuit.ru В отличие от языков с динамической типизацией, например Python или JavaScript, в SML нет ошибок во время выполнения программы. www.neuralword.com
• Поддержка полиморфной типизации. intuit.ru Например, можно описать функцию обработки списка с переменным типом аргументов. intuit.ru Это позволяет безошибочно обработать и список из чисел, и список из строк. intuit.ru
• Система модулей. ru.wikipedia.org ru.ruwiki.ru В SML реализована ранняя версия языка модулей, являющаяся отдельным слоем языка: модули могут содержать объекты ядра языка, но не наоборот. ru.wikipedia.org
• Ориентированность на разработку приложений реального времени. ru.wikipedia.org SML использует стратегию управления памятью на основе статического вывода регионов, позволяющую собирать мусор за константное время. ru.wikipedia.org
• Минималистичность. ru.wikipedia.org В отличие от многих других языков семейства ML, SML не имеет изначально встроенных средств объектно-ориентированного программирования, средств конкурентности, ad-hoc-полиморфизма, динамической типизации, генераторов списков и многих других возможностей. ru.wikipedia.org
• Многообразие способов использования. ru.wikipedia.org В отличие от многих языков, SML предоставляет большое многообразие способов своего использования. ru.wikipedia.org