Scala не поддерживает ограничение на значения, как в ML, из-за особенностей синтаксиса. 1

В Scala значения не могут иметь полиморфных типов, это могут только методы. 1 Кроме того, язык устанавливает синтаксическое ограничение на все ссылки, что является компромиссом: такое ограничение охватывает больше случаев, чем ограничение значения в ML, но при этом более регулярное. 1

Однако в Scala есть возможность ограничивать параметры типа и члены абстрактного типа определёнными диапазонами. 5 Такие диапазоны ограничивают конкретные значения типа и, возможно, предоставляют больше информации о членах таких типов. 5