A programming language is made of a long list of trade-offs, meaning that you could invent hundreds of new ones without really repeating yourself.<p>Please go and invent new languages! Yes, most of them will be ill-designed and will not go anywhere, but this is how you make progress.<p>As always the Internet will scream at you that you are wasting your time, or that you are somehow fragmenting the ecosystem, but this is the usual case of strangers feeling that they should have a say in what you work on. Ignore it.<p>Personally I'd love to see two languages:<p>- A modern Lisp. Builtin concurrency (green threads of course), gradual typing, native compiler. And I more and more feel like it should be a Lisp-1 (please don't cancel me). It should be the perfect language for exploratory programming and of course symbolic programming.<p>- An improved Erlang. Proper records and strings, modern tooling, modern standard library. And please make it decently fast. It should be the one obvious choice to write server software.<p>Hopefully I someday will get the time to work on it.