类型推导

不用每处都写类型，编译器能从上下文推出来。既有静态检查又不啰嗦。