[ Question ]

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

by Liam_Donovan 1mo21st Oct 20191 min read1 comment


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
Write here. Select text for formatting options.
We support LaTeX: Cmd-4 for inline, Cmd-M for block-level (Ctrl on Windows).
You can switch between rich text and markdown in your user settings.