Scala использует систему типов на основе System F ω, которая обычно называется сильно нормализующей. Сильная нормализация подразумевает полноту без Тьюринга.
Тем не менее, Scala тип-система завершается Тьюрингом.
Какие изменения/дополнения/модификации производят Scala систему Turing-complete по сравнению с формальными алгоритмами и системами?