It always strikes me how much commonality exists across different software engineering disciplines—not to mention across fields outside of engineering (e.g., how double-entry bookkeeping mirrors immutable design principles, or how federalism resembles class-based OOP).

Great to see an attempt at describing this phenomenon. A great start to what will surely be an awesome resource.

I don't remember the exact book/article that prompted me, but I believe it's because everything software is designed by humans for humans. We invented formalism because it's a nice way to communicate truth about the world. Then we invented computers that act based on formal instructions. Then it's been us trying to replicate the world on top of computers. Paradigms are models of communication, data structures are models of information, algorithms are reusable instructions.