[ Question ]

What does "meta-execution without indirection" look like?

by Liam_Donovan 1 min read21st Oct 20191 comment

8


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!

New Answer
Ask Related Question
New Comment