动静态类型