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

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

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