22.7. Reduction Strategies¶
22.7.1. Applicative Order¶
Text forthcoming
22.7.2. Normal Order¶
Text forthcoming
22.7.3. RP 17 Part 1¶
This problem focuses on the first step (i.e., \(\beta\)-reduction) in the evaluation of a \(\lambda\)-expression with the two evaluation strategies that we discussed. To get credit for this randomized exercise, you must solve it correctly three times in a row.
22.7.4. RP 17 Part 2¶
In this problem, you have to study the complete evaluation of a \(\lambda\)-expression with the two evaluation strategies that we discussed. To get credit for this randomized exercise, you must solve it correctly three times in a row.
22.7.5. RP 17 Part 3¶
In this problem, you have to perform a full evaluation of a randomly selected \(\lambda\) expression, that is, perform as many \(\beta\)-reductions as it takes until a \(\beta\)-normal form is reached. For this problem, you must use the applicative-order reduction strategy. To get credit for this problem, you only need to solve one problem instance correctly. However, each problem instance contains several steps that you must perform correctly (in this case, each step is a \(\beta\)-reduction). Read and follow the directions carefully. Note that the correct answer (called the model answer) is available. However, if you look it up, you will not get credit for the current problem instance. To get another chance for credit, start a new problem instance by clicking the Reset button.
22.7.6. RP 17 Part 4¶
In this problem, you have to perform a full evaluation of a randomly selected \(\lambda\) expression, that is, perform as many \(\beta\)-reductions as it takes until a \(\beta\)-normal form is reached. For this problem, you must use the normal-order reduction strategy. To get credit for this problem, you only need to solve one problem instance correctly. However, each problem instance contains several steps that you must perform correctly (in this case, each step is a \(\beta\)-reduction). Read and follow the directions carefully. Note that the correct answer (called the model answer) is available. However, if you look it up, you will not get credit for the current problem instance. To get another chance for credit, start a new problem instance by clicking the Reset button.
