TypeScript is better than JavaScript in most situations. JavaScript is all that remained after the plugin-based alternatives were killed off. It’s not that TypeScript is a terrible language, but being a better language is a low bar to clear when you consider that we have 20+ years of extra experience since the early days of JS and a new language also wouldn’t inherit all the baggage.
Things that IMHO have the potential to create a profoundly better language for developing web applications include:
• A more expressive type and effect system
• A more capable module system and better dependency management
• A more comprehensive standard library
• Integral support for building distributed systems and modelling communication within them
Given those kinds of changes and avoiding a lot of the baggage, I think there is also room for a simpler, more systematic, more consistent syntax, which would be good for both human and computer readers. The latter is important because if it’s easily machine-readable then it’s easier to build tools, and building good tools around a programming language is a key factor in growing a large and sustainable ecosystem.
I don’t know what being “10x better than TypeScript” would mean quantitatively, but I find it easy to believe that a language could arrive within say the next 5 years that required less than half the time to develop the same functionality, produced less than half the defects that would need fixing later, and ran several times faster under realistic conditions.
I agree that improvements are possible in the areas you've listed, my point was that I don't believe they'd be significant enough to get the 2x productivity you later mention. They're all, in my view, at or above the 80% good enough mark for the current paradigm of what a web app is or needs to do, and any further improvements would yield rapidly diminishing returns. I think the fact that JS has been used for 20+ years, and now TS for most of the last decade, is partly (not wholly) because of this.
That's unless the paradigm of most web apps fundamentally shifts - ie your distributed systems point.
Don't get me wrong, if such a 2x productivity increase over TS is possible I'd love to be wrong here and see that happen - not least just out of pure interest of how that language could be so much better, because clearly I'd be learning a lot there :-)
Perhaps time will prove you right, though (in the nicest possible way!) I hope you’re wrong.
Personally, I’m optimistic that we can do much better than 2x on the important metrics as mainstream programming languages and the programmers using them adopt ideas that already exist in more obscure languages, programming research, and development teams that don’t necessarily publish their experiences openly.
I think some of the potential gains come just from making it easier and therefore quicker to read and write our own code. Better syntax, more expressive language features, a more comprehensive standard library, and eliminating some of the historical baggage like how null/undefined are handled could all help a lot compared to today’s TypeScript, IMHO.
There are also other areas, such as safety and making it easier to work with other code from within or outside our own organisations, where today a huge proportion of a typical TypeScript developer’s time is probably wasted on things like wrangling dependency trees that could be much smaller and better managed, investigating preventable defects that currently reach later stages in the development process before they are noticed, and writing unit tests for negative cases that would be unnecessary if the language itself designed out those possibilities.
Something that struck me a little while back is just how unimaginably large this part of the programming industry has become. We’re talking about millions of developers working on web applications and companies collectively worth trillions of dollars. How much would even a 10% long-term improvement in developer productivity be worth to the world? What about 200%? What about 1000% or more? Personally, I think we still have a long way to go before we run into any inherent limits on developer productivity, and we’re learning more all the time.
Things that IMHO have the potential to create a profoundly better language for developing web applications include:
• A more expressive type and effect system
• A more capable module system and better dependency management
• A more comprehensive standard library
• Integral support for building distributed systems and modelling communication within them
Given those kinds of changes and avoiding a lot of the baggage, I think there is also room for a simpler, more systematic, more consistent syntax, which would be good for both human and computer readers. The latter is important because if it’s easily machine-readable then it’s easier to build tools, and building good tools around a programming language is a key factor in growing a large and sustainable ecosystem.
I don’t know what being “10x better than TypeScript” would mean quantitatively, but I find it easy to believe that a language could arrive within say the next 5 years that required less than half the time to develop the same functionality, produced less than half the defects that would need fixing later, and ran several times faster under realistic conditions.