Swift 是类型安全(type safe )语言。类型安全的语言可以让你清楚地知道代码被处理值类型。假设你需要一个代码String。你绝对不能进去一个不小心传球Int。
因为 Swift 它是类型安全，因此，这将是类型检查的编译代码(type checks)，并把不匹配的类型标记为错误。
这能够让你在开发的时候尽早发现并修复错误。
当你要处理不同类型的值时，类型检查能够帮你避免错误。
然而。这并非说你每次声明常量和变量的时候都须要显式指定类型。假设你没有显式指定类型，Swift 会使用类型猜測(type inference)来选择合适的类型。有了类型猜測。编译器能够在编译代码的时候自己主动猜測出表达式的类型。原理非常easy，仅仅要检查你赋的值就可以。
由于有类型猜測。和 C 或者 Objective-C 比起来 Swift 非常少须要声明类型。常量和变量尽管须要明白类型，可是大部分工作并不须要你自己来完毕。
当你声明常量或者变量并赋初值的时候类型猜測很实用。
当你在声明常量或者变量的时候赋给它们一个字面量(literal value 或 literal)就可以触发类型猜測。
（字面量就是会直接出如今你代码中的值，比方42和3.14159。
）
比如。假设你给一个新常量赋值42而且没有标明类型，Swift 能够猜測出常量类型是Int，由于你给它赋的初始值看起来像一个整数：
let meaningOfLife = 42 // meaningOfLife 会被猜測为 Int 类型
同理，假设你没有给浮点字面量标明类型。Swift 会猜測你想要的是Double：
let pi = 3.14159 // pi 会被猜測为 Double 类型
当猜測浮点数的类型时，Swift 总是会选择Double而不是Float。
假设表达式中同一时候出现了整数和浮点数，会被猜測为Double类型：
let anotherPi = 3 + 0.14159 // anotherPi 这将是投机 Double 种类
原版的值3它没有显式声明的类型，该表达式出现在一个浮点字面。所以表达式会炒成Double种类。