What is the Kotlin type system and platform types?

Kotlin has a strong type system with null safety and platform types from Java.

Kotlin enforces strict nullability but introduces platform types when interacting with Java. These types bypass compile-time null checks, requiring careful handling. Kotlin also supports generics, variance (in/out), and type inference.