Что такое «мощная» система типов Scala?

] Когда обсуждается Scala, система типов всегда упоминается как одна из основных функций. мощная и основная причина названия языка (Scala - сокращение от «масштабируемый язык»). Не могли бы кто-нибудь объяснить, как работает типизация Scala / почему это уникально и как это способствует масштабируемости языка?