类型化规则-一流百科

类型化规则

类型化规则在类型理论中，类型化规则是一种推理规则，它描述了类型系统如何将类型分配给一个句法结构。这些规则可以被类型系统应用来确定一个程序是否具有良...