强静态类型