¿Cuáles son las diferencias en el sistema de tipos entre Java y Kotlin?

Java es un lenguaje con tipificación estática, donde los tipos primitivos (int, boolean, etc.) y los tipos de referencia están claramente separados. En Kotlin, los tipos son más unificados: todos son objetos, incluyendo los análogos de los primitivos, gracias a un sistema de envoltorios que se optimiza con el compilador.

Diferencias principales:

• Seguridad nula: En Kotlin, los tipos por defecto no pueden contener null para evitar NullPointerException. Para tipos que pueden ser null, se usa la sintaxis con signo de interrogación, por ejemplo, String?.
• Tipos genéricos: Kotlin soporta un sistema de genéricos más flexible con variancia (in, out), en Java esto se implementa mediante comodines.
• Tipos de datos: Kotlin tiene tipos extendidos, por ejemplo, Unit en lugar de void, y soporta extensiones de tipos.

Ejemplo de seguridad nula en Kotlin:

var a: String = "Hello"
// a = null // Error de compilación

var b: String? = "Hello"
b = null // Permitido