Abstractions, The Costs - Why we strive to abstract the data?
https://medium.com/@kaveh.shahbazian/abstractions-the-costs-b0c00835aa8d
After some years wondering, I do not have an exact answer to that question yet. But I can share what I have found and learnt so far.
First, that answer is the source of our thirst for tunable/descriptive/flexible notation in our programming languages. Of-course the relationship between these two, to a great extent, is mechanical and in some cases mathematical, yet the drive is not.