I really dislike this rhetoric, you sound like the FSF guys who are like "you're not free until you're running coreboot with zero binary blobs". Sure they have a point but also, most people are fine running regular linux.

No one here is saying C is a great design, but in the context of 60 years ago, it worked out pretty well, and all the language which had additional runtime complexity (Pascal of course, but also Ada and FORTH) struggled because they didn't dial the right level of complexity

Sum types aren't the be all end all to all issues, for example you can not representer pointer values efficiently with sum types. Even rust does not wrap up pointers with sum types. Now try to go back 37 years to C89 and ask yourself if they were going to require compilers to have stringent checks like the rust compiler does.

By extension we're going to need a lot less middle managers as coordination problems decrease.

As for the point I think you're trying to make, the problem with middle management and other chokepoints in general (like PM teams) is that often they become an antipattern. They soak in all the information and then dole it out parsimoniously, so the typical experience as an IC is to be barely able to see the full picture

I think it's a generational thing, for a lot of publishers the internet is this newfangled thing

Even when you're paying millions to AWS you have to get through their first line of support and they will ask silly questions until you can convince them to escalate.