Scala是否强类型？您是否有示例如何在语言类型系统中反映出来？Scala是否允许类型惩罚？它是否允许强制？
Scala是否有ML这样的多型？
谢谢!
types scala strong-typing
scala ×1
strong-typing ×1
types ×1