静态类型