标签: 静态类型