Difference between revisions of "Value (computer science)"

From Wiki @ Karl Jones dot com
Jump to: navigation, search
(See also Variable (computer science))
(See Also)
Line 9: Line 9:
 
== See Also ==
 
== See Also ==
  
 +
* [[Object (computer science)]]
 
* [[Variable (computer science)]]
 
* [[Variable (computer science)]]
  

Revision as of 08:58, 17 December 2015

In computer science, a value is an expression which cannot be evaluated any further (a normal form).

The members of a type are the values of that type.

For example, the expression 1 + 2 is not a value as it can be reduced to the expression 3.

This expression cannot be reduced any further (and is a member of the type Nat) and therefore is a value.

See Also

External Links