adhearn comments on Replace the Symbol with the Substance - Less Wrong
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (15)
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.