Kotlin is a cross-stage, statically composed, broadly useful programming language with type induction. Kotlin is intended to interoperate completely with Java, and the JVM form of its standard library relies upon the Java Class Library, yet type derivation enables its linguistic structure to be increasingly compact.