[i-val-yoo-eyt] 
| 1. | to determine or set the value or amount of; appraise: to evaluate property. |
| 2. | to judge or determine the significance, worth, or quality of; assess: to evaluate the results of an experiment. |
| 3. | Mathematics. to ascertain the numerical value of (a function, relation, etc.). |
[i-val-yoo-uh-buh
l] , adjective | e·val·u·ate (ĭ-vāl'yōō-āt') tr.v. e·val·u·at·ed, e·val·u·at·ing, e·val·u·ates
[Back-formation from evaluation, from French évaluation, from Old French, from evaluer, to evaluate : e-, out (from Latin ē-, ex-; see ex-) + value, value; see value.] e·val'u·a'tion n., e·val'u·a·tive adj., e·val'u·a·tor n. |
evaluator
evaluator theory
Geoff Burn defines evaluators E0, E1, E2 and E3 which when applied to an expression, reduce it to varying degrees. E0 does no evaluation, E1 it evaluates to weak head normal form (WHNF), E2 evaluates the structure of a list, i.e. it evaluates it either to NIL or evaluates it to a CONS and then applies E2 to the second argument of the CONS. E3 evaluates the structure of a list and evaluates each element of the list to WHNF. This concept can be extended to data structures other than lists and forms the basis of the evaluation transformer style of strictness analysis.
(1994-12-12)