Kotlin ye un luengache de programación de proposito cheneral, multiplataforma y multiparadigma. A suya caracteristica mas destacada ye contar con inferencia de tipos. Ye disenyau pa poder interoperar de tot con Java tanto con a librería de clases de Java como con a maquina virtual de Java (JVM). Gracias a l'imferencia de tipos, a suya sintaxi ye mas concisa que la de Java.