Whenever I read something like this I wonder that current languages (even the higher level ones) are poor at expressing higher-level concepts like that in a practical way and capturing that complexity (in an easily manageable) form

One of the hardest parts of programming is understanding what's happening from reading code. And if you abstract too much "the traditional way" then it is just even harder to understand.