Skip to content
scrambled
Programming Language Theory Flashcard

How can a set of evaluation rules enforce an evaluation strategy?

Question

How can a set of evaluation rules enforce an evaluation strategy?

Answer

A set of evaluation rules can determine, for example, if arguments are evaluated before the enclosing redex, essentially determining if the evaluation strategy is lazy or eager.