Evaluator
[ih-val-yoo-eyt] /ɪˈvæl yuˌeɪt/
verb (used with object), evaluated, evaluating.
1.
to determine or set the 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 determine or calculate the numerical value of (a formula, function, relation, etc.).
/ɪˈvæljʊˌeɪt/
verb (transitive)
1.
to ascertain or set the amount or value of
2.
to judge or assess the worth of; appraise
3.
(maths, logic) to determine the unique member of the range of a function corresponding to a given member of its domain
v.
1842, from French évaluer or else a back-formation from evaluation. Originally in mathematics. Related: Evaluated; evaluating.
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)
Read Also:
- Evan
[ev-uh n] /ˈɛv ən/ noun 1. a male given name, Welsh form of . masc. proper name, Welsh form of John, form influenced perhaps by Welsh ieuanc “young man” (cognate of Latin juvenis), from Celtic *yowanko-, from PIE *yeu- “vital force, youthful vigor” (see young).
- Evanesce
[ev-uh-nes, ev-uh-nes] /ˌɛv əˈnɛs, ˈɛv əˌnɛs/ verb (used without object), evanesced, evanescing. 1. to disappear gradually; vanish; fade away. /ˌɛvəˈnɛs/ verb 1. (intransitive) (of smoke, mist, etc) to fade gradually from sight; vanish v. 1822, a back-formation from evanescence, or else from Latin evanescere “to pass away, vanish” (see evanescent).
- Evanesced
[ev-uh-nes, ev-uh-nes] /ˌɛv əˈnɛs, ˈɛv əˌnɛs/ verb (used without object), evanesced, evanescing. 1. to disappear gradually; vanish; fade away. /ˌɛvəˈnɛs/ verb 1. (intransitive) (of smoke, mist, etc) to fade gradually from sight; vanish v. 1822, a back-formation from evanescence, or else from Latin evanescere “to pass away, vanish” (see evanescent).
- Evang.
1. . 1. evangelical 2. evangelist
- Evanescent
[ev-uh-nes-uh nt] /ˌɛv əˈnɛs ənt/ adjective 1. vanishing; fading away; fleeting. 2. tending to become imperceptible; scarcely perceptible. /ˌɛvəˈnɛsənt/ adjective 1. passing out of sight; fading away; vanishing 2. ephemeral or transitory adj. 1717, from French évanescent, from Latin evanescentem (nominative evanescens), present participle of evanescere “disappear, vanish,” from ex- “out” (see ex-) + vanescere […]