最开始的时候，若在一个程序里插入“字面值”（literal），编译器通常能准确知道要生成什么样的类型。

• Ordinarily when you insert a literal value into a program the compiler knows exactly what type to make it.