I think most people have given up on the concept of "more abstract"=better. However, there are other was to "advance" the state of programming. One is to find b

I think most people have given up on the concept of "more abstract"=better. However, there are other was to "advance" the state of programming. One is to find better metaphors to express the same concept. For example, C is a wonderful language. But if you spend much time at all in an advance C codebase, you will find lots of code that is attempting to do things that it's hard to tell it's attempting to do. Because C has this really half-baked type system and it's only generalization of data is the void pointer and so on. There are two solutions to this. Take every feature of C and explode it to its logical conclusion and beyond. And there you get C++, which has it's uses but is really one of the few languages I would ever call straight up bad. (I know, it's beloved to many and I came up on it but it is bad, I'm sorry.) But if instead, you back up and look at what is good about C and start modernizg its metaphors and instead of leaving them incomplete like in C you fill them out, you get something like zig. Which really is a beautiful language. No more abstract than C but much easier to understand.