nullary sum

From Wiktionary, the free dictionary
Jump to navigation Jump to search

English[edit]

Noun[edit]

nullary sum (plural nullary sums)

  1. (arithmetic) An empty sum.
    • 2012, Robert Harper, Practical Foundations for Programming Languages, →ISBN, page 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.

Translations[edit]

empty sum — see empty sum
Retrieved from "https://en.wiktionary.org/w/index.php?title=nullary_sum&oldid=70415547"