4.4.2 应用:类型推断