A different high-level view
To the first order, you can think of normal-order as substituting the actual parameter for the formal parameter rather than evaluating the actual first
- It’s closely related to call-by-name in Algol
To the first order, you can think of applicative-order (also called eager-order) as evaluating each actual parameter once and passing its value to the formal parameter