30[填空题]
公共语言规范是公共类型系统的（　） ，是一组结构和限制，是库编写者和编译者的指南。