[vunderba]

The big thing is that learning to program is really about improving your ability to formalize your ideas by methodically breaking them down into a decomposed set of deterministic logical statements.

I think this cross‑pollinates into many domains, because in a sense what you’re doing is learning how to take something you know and express it rigorously in a mathematical form / structural syntax.