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