次结构类型系统-一流百科

次结构类型系统

次结构类型系统次结构类型系统是一个类似于次结构逻辑的类型系统家族，其中一个或多个结构规则不存在或只在受控情况下允许存在。这类系统通过跟踪发生的状态...