Из определения строго типизированного языка:
Строго типизированный язык программирования - это тот, на котором каждый тип
данные (такие как целое число, символ, шестнадцатеричный, упакованный десятичный и т. д.
далее) предопределено как часть языка программирования и все
константы или переменные, определенные для данной программы, должны быть описаны
с одним из типов данных ( источник )
Из документации kotlin я могу понять, что kotlin - это статически типизированный язык, потому что тип переменной известен во время компиляции, но как насчет сильно или слабо типизированного? Я не могу найти какой-либо четкий ответ гуглить. Насколько я понял, Kotlin должен быть одинаково строго типизирован как Java, потому что он компилируется в байт-код Java, но я не уверен на 100%. Пожалуйста, помогите мне понять, на правильном ли я пути.