Описание тега dotty
Dotty - это платформа для опробования новых языковых концепций и технологий компиляции для Scala. Теория, лежащая в основе этих конструкторов, исследуется в DOT, исчислении для зависимых типов объектов. Ожидается, что со временем некоторые из новых технологий, исследуемых в этом проекте, найдут свое применение в будущих версиях Scala.
Определение:
Dotty - это и название нового компилятора, и общий термин для новых языковых концепций, которые должны стать Scala 3. Теория, лежащая в основе, - это исчисление зависимых типов объектов, или, вкратце, DOT. Это активно исследуется.
Пример установки:
brew install lampepfl/brew/dotty