单值类型

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