Kotlin：定义和目的

Kotlin是静态类型语言并支持类型推导，允许维护正确性与性能的同时保持源代码的简洁。
Kotlin支持面向对象和函数式两种编程风格，通过头等函数使更好级别的抽象成为可能，通过支持不可变值简化了测试和多线程开发。
在服务器端应用程序中它工作得很好，全面支持所有现存的Java框架，为常见的任务提供了新工具，如生成 html和持久化。
在Android上它也可以工作，这得益于紧凑的运行时、对Android API特殊的编译器支持以及丰富的库是，为常见Android开发任务提供了Kotlin友好的函数。目前Kotlin已被谷歌指定为官方开发语言。
它是免费和开源的，全面支持主流的IDE和构建系统。
Kotlin是务实的、安全的、简洁的，与Java可互操作，意味着它专注于使用已经证明过的解决方案处理常见任务，防止常见的像NullPointerException这样的错误，支持紧凑和易读的代码，以及提供与Java无限制的集成。