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.