细化类型-一流百科

细化类型

简介在类型理论中，细化类型是一个被赋予了谓词的类型，该谓词被认为对细化类型的任何元素都是成立的。细化类型在作为函数参数使用时可以表达前提条件，在作...