De la definición de lenguaje fuertemente tipado:

Un lenguaje de programación fuertemente tipado es aquel en el que cada tipo de datos (como enteros, caracteres, hexadecimales, decimales empaquetados, etc.) está predefinido como parte del lenguaje de programación y todas las constantes o variables definidas para un programa dado deben ser descrito con uno de los tipos de datos ( fuente )

De la documentación de kotlin, puedo entender que kotlin es un lenguaje tipado estáticamente porque el tipo de la variable se conoce en el momento de la compilación, pero ¿qué pasa con el tipado fuerte o débil? No puedo encontrar ninguna respuesta clara googleando. Por lo que entendí, Kotlin debería escribirse con la misma fuerza que Java porque compila hasta el código de bytes de Java, pero no estoy 100% seguro. Por favor, ayúdame a entender si estoy en el camino correcto.