单值类型 在数理逻辑计算机科学和类型论中单值类型unit type是只允许个值的数据类型单值类型的基础集underlying set是单元素集合由于任何个单元素集合同构因而习惯称这个单值集合 the unit type不必考虑具体的值是什么也可以把单值类型视作元组如无类型的积 单值类型是范畴论中类型和有类型函数的终对象不应与 zero或底类型英语bottom type混淆后两者允许no值是范畴的始对象类似的布尔类型是有个值的类型 大多数函数式编程语言都实现了单值类型一些指令式语言使用void类型但其取值为空集还是有所不同