> Programming language design is stagnant with type theory dead-ending with too much complexity
Interesting. Maybe this will be the case for languages with bad legacy like C++, but the whole design of new type systems? What sources this prediction is based on?
Arguably the present. There are hardly any innovations in mainstream PL design, the last one was probably linear typing in Rust. The most successful recent languages are all pretty conservative, in the case of Go extremely so.
Interesting. Maybe this will be the case for languages with bad legacy like C++, but the whole design of new type systems? What sources this prediction is based on?