Nice Post. But everyone needs to understand something. Even if you follow these principles to the letter T, you can still produce very bad software. In fact you can also find many cases where people did the exact opposite of what this guy said and still produced great software. I'm sure many people can name examples of software that just came together out of blind luck. Why? Because there is no formal definition for…
The Applied Category Theory folks have some very interesting stuff, like Categorical Query Language.
https://www.appliedcategorytheory.org/
https://www.categoricaldata.net/
But it sounds to me what you mean is more like if "Pattern Language" was symbolic and rigorous, eh?