Em que os tipos em Kotlin diferem dos tipos em Java?

O Kotlin possui segurança nula, o que permite indicar explicitamente se uma variável pode conter null. Em Java, todos os tipos de referência por padrão podem ser null.

O Kotlin suporta extensões de funções e propriedades, permitindo adicionar novas funcionalidades às classes existentes sem herança ou uso do padrão Decorator.

O Kotlin possui classes de dados (data class), que geram automaticamente métodos equals(), hashCode(), toString(), copy() e componentes de destruição.

O Kotlin suporta covariância e contravariância em genéricos usando as palavras-chave out e in. Em Java, isso é feito com wildcards (? extends T, ? super T).

O Kotlin possui casts inteligentes (smart casts), que convertem automaticamente o tipo de uma variável após uma verificação condicional (if (x is String)).

O Kotlin suporta funções de ordem superior e expressões lambda, o que simplifica a programação funcional.

O Kotlin usa uma sintaxe para criar instâncias de objetos sem a palavra-chave new.

O Kotlin tem diferenças nos tipos primitivos: eles não são classes separadas, mas tipos embutidos na linguagem que são compilados em primitivos Java quando necessário.

Característica	Kotlin	Java
Segurança nula	Integrada no sistema de tipos	Usa @Nullable
Extensões	Suportadas	Não
Classes de dados	data class	Geradas manualmente/IDE
Covariância/Contravariância	out, in	Wildcards (? extends, ? super)
Casts inteligentes	Automático após verificação	Requer conversão explícita
Funções	De alta ordem, lambda	Anônimas/expressões lambda (desde Java 8)
Criação de objetos	Sem new	Com new
Tipos primitivos	Embutidos, compilados em primitivos Java	Tipos separados (int, float, etc.)