nullary sum en · NOUN
Meanings
-
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.
2012, Robert Harper, Practical Foundations for Programming Languages, →ISBN, page 86:
Forms
| Spelling | Features | Labels | Source |
|---|---|---|---|
| nullary sums | Number=Plur | lexicographic |