lenient evaluation

lenient evaluation

(reduction)An evaluation strategy, described in [Traub,FPCA 89], under which all redexes are evaluated in parallelexcept inside the arms of conditionals and inside lambda abstractions. Lenient evaluation is an example of an eagerevaluation strategy.