Kotlin est un langage de programmation général, multi-plateformes, à typage statique, avec inférence de types. Kotlin est conçu pour interagir pleinement avec Java, et la version JVM de sa bibliothèque standard dépend de la bibliothèque de classes Java, mais l'inférence de type permet à sa syntaxe d'être plus concise.