Описание тега ascription
Приписывание типов - это аннотации, ограничивающие механизм вывода типа.
Описание типов позволяет разработчикам устанавливать ограничения на вывод типа компилятора. Например, на языке Scala:
val i = 123 //Inferred as Int
val l: Long = 123 //Inferred as Long
Приписывание типов позволяет принудительно выполнять неявные преобразования и передавать последовательность методу, ожидающему переменных аргументов. Дополнительные сведения см. В вопросе: какова цель приписывания типов в Scala?