nullary sum
English
Noun
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 nullary sum, which offers a choice of no things.
- 2012, Robert Harper, Practical Foundations for Programming Languages, →ISBN, p. 86:
Translations
empty sum — see empty sum
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.