底层类型-一流百科

底层类型

简介在类型理论（数理逻辑中的一种理论）中，类型系统的底层类型是所有其他类型的子类型。在存在这种类型的情况下，它通常用上粘（⊥）符号表示。当底层类型为...

词条百科