自动类型推断,弱类型