Как структурирована система типов в языке Kotlin?

В Kotlin система типов является строгой и статической, что означает, что типы переменных известны во время компиляции и не могут изменяться во время выполнения. Основные особенности:

• Примитивные типы и классы-обертки: Kotlin использует примитивы (Int, Double, Boolean и т.д.), но под капотом они могут быть представлены как объекты.
• Nullable и Non-nullable типы: В Kotlin типы по умолчанию не могут принимать значение null. Для этого используется специальный синтаксис с вопросительным знаком, например, String? — это nullable тип.
• Типы верхнего уровня: Все типы наследуются от базового класса Any (аналог Object в Java), кроме nullable типов, которые наследуются от Any?.
• Типы-параметры (Generics): Kotlin поддерживает обобщения с возможностью указания ограничений и вариаций (in, out).

Пример объявления переменной с nullable типом:

var name: String = "Иван"
var nullableName: String? = null

Таким образом, система типов Kotlin помогает избегать ошибок, связанных с null, и обеспечивает безопасность типов на этапе компиляции.