nullary sum
名词 n.
英文释义
名词 n.
-
An empty sum.
— These concepts are expressed by sum types, specifically the binary sum, which offers a choice of two things, and the nullary sum, which offers a choice of no things.
词形变化
0 次浏览
数据来源: Wiktionary