Kotlin可以定义为强类型语言吗?

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

强类型编程语言是一种每种类型的 数据(如整数、字符、十六进制、压缩十进制等) 作为编程语言的一部分和所有 必须描述为给定程序定义的常量或变量 其中一种数据类型( source )

从Kotlin文档中,我可以理解Kotlin是 静态类型 语言,因为变量的类型在编译时是已知的,但是强类型还是弱类型呢?我找不到任何明确的回应谷歌。据我所知,Kotlin应该被强加为Java类型,因为它编译成Java字节码,但我不确定100%。如果我走对了,请帮助我理解。