# nullary sum

## EnglishEdit

### NounEdit

**nullary sum** (*plural* **nullary sums**)

- (arithmetic) An empty sum.
**2012**, Robert Harper,*Practical Foundations for Programming Languages*, ↑ISBN, p. 86:- These concepts are expressed by
*sum types*, specifically the*binary sum*, which offers a choice of two things, and the, which offers a choice of no things.**nullary sum**

- These concepts are expressed by

#### TranslationsEdit

empty sum —

*see*empty sum