Code is available at <a href="https://github.com/snowleopard/build">https://github.com/snowleopard/build</a><p>I skimmed the paper - this is interesting on many aspects but I liked the breadth of what they analyzed... they use Excel as one of the examples!<p>I know it is a valuable skill to be able to efficiently break down problems into abstractions but I suspect you would still end up with "porcelain"[0] that would hide so much of this it might not be worth it. Or maybe it is so generic it becomes a standard of sorts (or certainly a standard way of doing things) with flavors of implementations on top of it?<p>In the conclusion they say:<p>> ... a simple recombination leads to a design for a monadic suspending cloud build system ...<p>Totally over my head as I still don't grok monads despite my belief I use them or something very close to them all the time without realizing it. I could not implement one. Anyway, I digress... neat paper and I will keep working on digesting it.<p>[0] <a href="https://git-scm.com/book/en/v2/Git-Internals-Plumbing-and-Porcelain" rel="nofollow">https://git-scm.com/book/en/v2/Git-Internals-Plumbing-and-Po...</a>