8,类型推论