But it's not taught that way.
It's never taught that way in US schools. Ever. It's always taught as an abstraction without ever tying any of it to real life. Ever. (repetition for emphasis)
It is taught that way if you have a good teacher. All my math teachers were excellent so we got lots of practical examples. But just like any skill, there is a lot of what one of my math teachers called "crank and grind" that you have to go through to internalize the skill enough that you can then focus on applying it.
I worked with Ada for about two years. It is an awful language. Most of the issues that Ada solves are solvable in C by using assert.
Obviously you were trying to write C in Ada; I agree, that would be truly awful.
"Aww, if you make me cry anymore, you'll fog up my helmet." -- "Visionaries" cartoon