If the build system isn't first a DSL for specifying a DAG, then it fails at being at least as good as Make. Maybe "build graphs are acyclic" is a falsehood, bu

If the build system isn't first a DSL for specifying a DAG, then it fails at being at least as good as Make. Maybe "build graphs are acyclic" is a falsehood, but I would never want to use a build system that isn't fundamentally constructing a DAG. There are plenty of imperative build systems (or build systems that people us imperatively) and they're all horrible.