# nullary sum

Jump to navigation
Jump to search

## English[edit]

### Noun[edit]

**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

#### Translations[edit]

empty sum —

*see*empty sum