I think abstractions for structuring code are just a different kind of CS-math abstraction. Particularly, a programming language is a heavyweight abstraction th

I think abstractions for structuring code are just a different kind of CS-math abstraction. Particularly, a programming language is a heavyweight abstraction that provides the ability to create further abstractions. Good abstractions for structuring code have a lot to do with good abstractions elsewhere; the goals and scope are different, but the principles are the same.