| 
|
Quote: the simplest functional language $ only has evaluation by leftmost redex; not arbitrary replacement of subexpressions by value
topics >
all references >
references e-f >
Topic:
functional programming
Topic:
referential transparency
Quotation Skeleton
In functional languages one is interested in having … put onto a language in order to obtain … by its value does not change the meaning … In the language $ there is only one … … Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: a functional language needs substitutivity of equivalence for mathematical proofs about evaluations
Topic: functional programming (43 items)
Topic: referential transparency (26 items)