英和和英

出典:『Wikipedia』 (2011/06/11 10:13 UTC 版)

英語による解説

引用

In computer science, a value (from "fully evaluated") 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.