I have been re-implementing the ninja build system [1] using the ideas from the "Build Systems a la Carte" paper [2]. The software isn't ready for the public yet, but I've written 2 blog posts so far about some of the ideas.

1. Using type-classes to model the expressivity of build systems [3] 2. A Future is a Suspending Scheduler [4]

[1]: https://ninja-build.org/ [2]: https://www.microsoft.com/en-us/research/publication/build-s... [3]: https://nikhilism.com/post/2020/type-classes-build-systems/ [4]: https://nikhilism.com/post/2020/futures-suspending-scheduler...