eory> 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 ef="module.php?name=Lexikon&file=search&eid=1&query=WHNF">WHNF. This concept can beextended to data structures other than lists and forms the basis of the {evaluation transformer} style of {strictness analysis}. (1994-12-12)
