Можешь рассказать о ключевых особенностях системы типов в языке Kotlin?

Ключевые особенности системы типов в Kotlin:

• Статическая типизация: Типы проверяются на этапе компиляции, что помогает избежать многих ошибок.
• Нулебезопасность: Kotlin имеет встроенную систему для работы с nullable типами, что снижает количество ошибок NullPointerException. Например, тип String? может содержать null, а String — нет.
• Вывод типов: Компилятор Kotlin умеет выводить типы переменных и функций, что упрощает код.
• Типы верхнего и нижнего уровня: Kotlin поддерживает наследование и интерфейсы, что позволяет строить иерархии типов.
• Сопрограммы и типы: Типы могут использоваться в корутинах для асинхронного программирования.

Пример нулебезопасности:

var a: String = "Hello"
var b: String? = null

println(a.length) // всегда безопасно
// println(b.length) // ошибка компиляции
println(b?.length) // безопасный вызов, вернет null если b == null

Эти особенности делают Kotlin удобным и безопасным языком для разработки.