kotlin - Kotlin 可以定义为强类型语言吗？

Question

从强类型语言的定义来看:

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% 确定。请帮助我了解我是否走在正确的道路上。

Answer 1

弱类型语言具有不兼容类型之间的隐式转换，而强类型语言不允许这样做。

Kotlin 没有类型之间的隐式转换 - 这使得 强静态类型 。