A lot of ideas here are present in Bazel (where the Starlark configuration language is intentionally very declarative and not-entirely-turing-complete). I also

A lot of ideas here are present in Bazel (where the Starlark configuration language is intentionally very declarative and not-entirely-turing-complete). I also encourage anyone interested in build systems to read this paper https://www.microsoft.com/en-us/research/publication/build-systems-la-carte/ https://www.microsoft.com/en-us/research/publication/build-s..., that provides a strong theoretical foundation to analyze build systems.