Difference between revisions of "Value (computer science)"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) (→See Also) |
Karl Jones (Talk | contribs) |
||
| Line 1: | Line 1: | ||
| − | In computer science, a value is an expression which cannot be evaluated any further (a normal form). | + | 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. | The members of a type are the values of that type. | ||
| Line 9: | Line 9: | ||
== See Also == | == See Also == | ||
| + | * [[Computer science]] | ||
* [[Object (computer science)]] | * [[Object (computer science)]] | ||
* [[Variable (computer science)]] | * [[Variable (computer science)]] | ||
Revision as of 07: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
- Value (computer science) @ Wikipedia
