An interesting analogy. Extending that, what we want to explicitly avoid is simple alpha reduction (where we simply replace one variable with another (unbound) variable). Extending the analogy to cover eta reduction is probably a bit of a stretch, or at least I can’t see a meaningful way to do so.
An interesting analogy. Extending that, what we want to explicitly avoid is simple alpha reduction (where we simply replace one variable with another (unbound) variable). Extending the analogy to cover eta reduction is probably a bit of a stretch, or at least I can’t see a meaningful way to do so.