Difference between revisions of "Value (computer science)"
From Wiki @ Karl Jones dot com
Karl Jones (Talk | contribs) (→External Links) |
Karl Jones (Talk | contribs) |
||
Line 1: | Line 1: | ||
In [[computer science]], a '''value''' is an [[Expression (computer science)|expression]] which cannot be evaluated any further (a [[Normal form (abstract rewriting)|normal form]]). | In [[computer science]], a '''value''' is an [[Expression (computer science)|expression]] which cannot be evaluated any further (a [[Normal form (abstract rewriting)|normal form]]). | ||
+ | |||
+ | == Description == | ||
The members of a type are the values of that type. | The members of a type are the values of that type. |
Latest revision as of 18:56, 15 April 2016
In computer science, a value is an expression which cannot be evaluated any further (a normal form).
Description
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
- Computer science
- Expression (computer science)
- Normal form (abstract rewriting)
- Object (computer science)
- Variable (computer science)
External Links
- Value (computer science) @ Wikipedia