为什么抽象变量需要scala中的类型注释？

当我有一个带有变量的抽象类时,如下所示

abstract class Book {

  val id : Int
  val name : String
  val book : Long

}

声明它们没有类型,

abstract class Book {

  val id 
  val name 
  val book 

}

说错误的价值宣言.如果可以在没有显式类型注释的情况下声明方法.

abstract class Book {

  val id : Int
  val name : String
  val book : Long

  def aMethodWithNoTypeAnnotation

}

为什么变量也不能同样有效？这是围绕JVM的限制吗？

Scala没有全局类型推断,只有本地类型推断.a val或var类型的类型是用于初始化它的表达式的类型.摘要vals和vars未初始化,因此无法从中推断出类型.

如果您没有指定抽象方法的返回类型,则暗示它是Unit.这里没有类型推断.但Unit对于a val或者没有任何意义var:只能有一个类型的值Unit,那么为什么要将它存储在变量中呢？