Podes falar sobre as principais características do sistema de tipos na linguagem Kotlin?

Características principais do sistema de tipos em Kotlin:

• Tipagem estática: Os tipos são verificados na fase de compilação, o que ajuda a evitar muitos erros.
• Segurança contra null: Kotlin possui um sistema integrado para trabalhar com tipos nullable, o que reduz o número de erros NullPointerException. Por exemplo, o tipo String? pode conter null, enquanto String não.
• Inferência de tipos: O compilador Kotlin consegue inferir os tipos de variáveis e funções, o que simplifica o código.
• Tipos de nível superior e inferior: Kotlin suporta herança e interfaces, permitindo construir hierarquias de tipos.
• Corrotinas e tipos: Os tipos podem ser usados em corrotinas para programação assíncrona.

Exemplo de segurança contra null:

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

println(a.length) // sempre seguro
// println(b.length) // erro de compilação
println(b?.length) // chamada segura, retornará null se b == null

Essas características tornam o Kotlin uma linguagem conveniente e segura para o desenvolvimento.