I've been trying to understand IDA/Factored Evaluation at a deep level, and I find meta-execution especially confusing. The LW post says that it is "HCH + annotated functional programming + a level of indirection", but I'm not sure what the "level of indirection" is doing. To understand it better, I want to know what HCH + Annotated Functional Programming (without indirection) would look like, and how this differs from meta-execution. Any help is much appreciated!
Ask Related Question