精确说是：静态型别程式语言， 英文叫statically-typed programming language。Kotlin是一种在Java虚拟机上执行的静态型别程式语言。它也可以被编译成为JavaScript原始码。由俄罗斯圣彼得堡的JetBrains开发团队所发展出来的程式语言，其名称来自於圣彼得堡附近的科特林岛。Google 提倡使用，可用于安卓系统。理论上兼容java，实际上尚需改进。
