单元类型-一流百科

单元类型

单元类型简介在被称为类型理论的数理逻辑和计算机科学领域，单元类型是一种只允许一个值的类型。与单位类型相关的载体（底层集合）可以是任何单子集。任何两...