Swift是一个类型安全（type safe）的语言。类型安全的语言可以让你清楚地知道代码要处理的值的类型。如果你的代码需要一个String，你绝对不可能不小心传进去一个Int。
由于Swift是类型安全的，所以它会在编译你的代码时进行类型检查（type checks），并把不匹配的类型标记为错误。这可以让你在开发的时候尽早发现并修复错误。
如果你没有显式指定类型，Swift会使用类型推断（type inference）来选择合适的类型。有了类型推断，编译器可以在编译代码的时候自动推断出表达式的类型。原理很简单，只要检查你赋的值即可。
//meaningOfLife会被推测为Int类型 let meaningOfLife = 42
如果你没有给浮点字面量标明类型，Swift会推断你想要的是Double。
//pi会被推测为Double类型 let pi = 3.14159
如果表达式中同时出现了整数和浮点数，会被推断为Double类型。
//anotherPi 会被推测为Double类型 let anotherPi = 3 + 0.14159
