У Scala параметри типу та члени абстрактного типу можуть бути обмежені прив’язкою типу. Такі межі типу обмежити конкретні значення змінних типу та, можливо, розкрити більше інформації про членів таких типів. Верхня межа типу T <: A оголошує, що змінна типу T відноситься до підтипу типу A .
Тоді як верхні межі типу обмежують тип підтипом іншого типу, нижні межі типу оголошують тип супертипом іншого типу. Термін B >: A означає, що параметр типу B або абстрактний тип B відноситься до супертипу типу A .
Прив’язка до контексту – це скорочення для вираження загального шаблону параметра контексту, який залежить від параметра типу. Використовуючи обмеження контексту, максимальну функцію останнього розділу можна записати так: def maximum[T: Ord](xs: List[T]): T = xs.reduceLeft(max)
Компілятор Scala може автоматично виводити типи виразів з контекстної інформації. Тому нам не потрібно декларувати типи явно. Цю функцію зазвичай називають висновком типу. Це допомагає зменшити багатослівність нашого коду, роблячи його більш лаконічним і читабельним.
Три існуючі узагальнені обмеження типу є =:=, <:< та <%<. Вони використовуються неявними параметрами (implicit ev: T =:= B) у методі. Ці неявні параметри, які зазвичай називають ev («докази»), є тестами, які показують, що тип відповідає певним обмеженням.
У математиці, зокрема в теорії порядку, верхня межа або мажоранта підмножини S деякої попередньо впорядкованої множини (K, ≤) — це елемент K, який є більшим або дорівнює кожному елементу S. Подвійно, нижня межа або міноранта S визначається як елемент K, який менший або дорівнює кожному елементу S.