Какова цель типовых надписей в Scala?
Там'В спецификации не так много информации о том, что такое надпись, и, конечно, нетТам нет ничего о цели для этого. Кроме как "заставляя прохождение varargs работать "для чего я буду использовать тип ascription? Ниже приведен некоторый scala REPL для синтаксиса и последствий его использования.
scala> val s = "Dave"
s: java.lang.String = Dave
scala> val p = s:Object
p: java.lang.Object = Dave
scala> p.length
:7: error: value length is not a member of java.lang.Object
p.length
^
scala> p.getClass
res10: java.lang.Class[_ s.getClass
res11: java.lang.Class[_ p.asInstanceOf[String].length
res9: Int = 4