Mill: A Build Tool Based on Pure Functional Programming

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-s..., that provides a strong theoretical foundation to analyze build systems.