This is already known as "multi-stage programming" or "staged programming" -- I don't see a need for a new term https://en.wikipedia.org/wiki/Multi-stage_progr

This is already known as "multi-stage programming" or "staged programming" -- I don't see a need for a new term https://en.wikipedia.org/wiki/Multi-stage_programming https://en.wikipedia.org/wiki/Multi-stage_programming https://okmij.org/ftp/meta-programming/index.html https://okmij.org/ftp/meta-programming/index.html Comment from 2019 about it, which mentions Zig, Terra/Lua, Scala LMS, etc.: https://news.ycombinator.com/item?id=19013437 https://news.ycombinator.com/item?id=19013437 We should also mention big data frameworks and ML frameworks like TensorFlow / Pytorch. The "eager mode" that Chris Lattner wanted in Swift for ML and Mojo is to actually to get rid of the separation between the stage of creating a graph of operators (in Python, serially) and then evaluating the graph (on GPUs, in parallel). And also CMake/Make and even autoconf/make and Bazel have stages -- "programming" a graph, and then executing it in parallel: Language Design: Staged Execution Models - https://www.oilshell.org/blog/2021/04/build-ci-comments.html#language-design-staged-execution-models https://www.oilshell.org/blog/2021/04/build-ci-comments.html...