The type-level description of a value or operation, including parameter and result types. A type signature can rule out some invalid uses, but ordinary type annotations alone do not express every precondition, postcondition or relationship to an abstract program state.
The data type of the value produced by a function or object method when it returns normally.

Ancestors (4)

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

Incoming links (23)

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