Talk:Value (computer science)/to do


 * Etymology: Christopher Strachey invented the words "l-value" and "r-value" in his famous lecture notes.
 * Definition: There are probably several subtly different definitions of value in use: "fully evaluated" expression, semantic and syntactic values (denotational semantics), values are the inhabitants of a type (type theory), "the value of a variable", ...Ō
 * "there are lots of languages in which the concepts of normal form and value do not coincide"
 * "stuck expressions/values" (1 + true); a normal form is either a value or stuck
 * whether a function's name is an lvalue? See old wiki on 13:59, 1 Aug 2016(https://en.wikipedia.org/w/index.php?title=Value_(computer_science)&oldid=732516998#Assignment:_l-values_and_r-values): QUOTE "R-values are pure values, independent of their container; L-values are containers of values which can be assigned to." END_QUOTE However, this is cppreference.com( http://en.cppreference.com/w/cpp/language/value_category ) says about lvalue: QUOTE "the name of a variable or a function in scope, regardless of type, such as std::cin or std::endl. Even if the variable's type is rvalue reference, the expression consisting of its name is an lvalue expression;" END_QUOTE. So is "a function in scope" an lvalue?