Kotlin 可以定义为强类型语言吗？
Can Kotlin be defined a strongly typed language?
来自强类型语言的定义：
A strongly-typed programming language is one in which each type of
data (such as integer, character, hexadecimal, packed decimal, and so
forth) is predefined as part of the programming language and all
constants or variables defined for a given program must be described
with one of the data types (source)
从 kotlin 文档中，我可以了解到 kotlin 是一种 静态类型 语言，因为变量的类型在编译时是已知的，但是强类型或弱类型呢？我找不到任何明确的回应谷歌搜索。据我所知，Kotlin 的类型应该与 Java 一样强，因为它会编译成 Java 字节码，但我不是 100% 确定。请帮助我理解我的方法是否正确。
弱类型语言具有 不兼容 类型之间的隐式转换，而强类型语言则不允许。
Kotlin 不支持类型之间的隐式转换 - 这使得它强静态类型化。
来自强类型语言的定义：
A strongly-typed programming language is one in which each type of data (such as integer, character, hexadecimal, packed decimal, and so forth) is predefined as part of the programming language and all constants or variables defined for a given program must be described with one of the data types (source)
从 kotlin 文档中，我可以了解到 kotlin 是一种 静态类型 语言，因为变量的类型在编译时是已知的，但是强类型或弱类型呢？我找不到任何明确的回应谷歌搜索。据我所知，Kotlin 的类型应该与 Java 一样强，因为它会编译成 Java 字节码，但我不是 100% 确定。请帮助我理解我的方法是否正确。
弱类型语言具有 不兼容 类型之间的隐式转换，而强类型语言则不允许。
Kotlin 不支持类型之间的隐式转换 - 这使得它强静态类型化。