第3章　类型系统与可空类型

与Java、C和C ++语言一样，Kotlin语言也是“静态类型的编程语言”。通常，编程语言中的类型系统中定义了：

• 　如何将数值和表达式归为不同的类型；
• 　如何操作这些类型；
• 　这些类型之间如何互相作用。

我们在编程语言中使用类型的目的是为了让编译器能够确定类型所关联的对象需要分配多少空间。

类型系统在各种语言之间有非常大的差异，主要的差异表现在编译时期的语法及运行时期的操作实现方式上。在每一种编程语言中，都有一个特定的类型系统。静态类型在编译时期就能可靠地发现类型错误，因此通常能增进最终程序的可靠性。然而，有多少的类型错误发生，以及有多少比例的错误能被静态类型所捕获，仍有争论。

本章简单介绍一下Kotlin的类型系统。