Value (computer science)
From Wiki @ Karl Jones dot com
Revision as of 11:00, 19 May 2015 by Karl Jones (Talk | contribs) (See also Variable (computer science))
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
- Value (computer science) @ Wikipedia
