A classification of program values together with the operations permitted on them. An algebraic data type describes values by data constructors; a function type describes acceptable arguments and produced results.
A data type with exactly one value. In Haskell, both the data type and its sole value are written (); it is often the result of a computation whose purpose is an effect.

Ancestors (4)

  1. Type system
  2. Programming language
  3. Computer science
  4. Home

Incoming links (8)

View article source

Discussion (0) New discussion

There are no discussions about this article yet.

Articles by others on the same topic (0)

There are currently no matching articles.
See all articles in the same topic Create my own version