его делали опытные дяденьки

жаль не доделали

сейчас вот думают как правильно доделать, чтобы не слишком уж неконсистентно было

dlang делал сам Александреску на пару с Уолтером Брайтом. Просто у одного за плечами Google а у других Digital Mars. Так что дело совсем не втом, кто там за языком и компилятором стоит

а потом получается ЖаббаСкрипт

Жабаскрипт как раз очень простой, местами нелогичный, да, но назвать его сильно слождным и перегруженным вряд ли можно.

Это скорее камень в огород C++

с языка сорвал

Можно. Поведение this - объективно сложно, во всех языках, компилирующихся в JS его упростили, начиная с CoffeeScript заканчивая Dart. Добавили классы, которые синт. сахар и слово class - не ключевое, ибо обратная совместимость, добавили get/set, которые тоже в синтаксис не вписываются, добавили обрезанные промисы и async/await, который в них дешугарится и нифига не композится.
Такими темпами скоро догонят C++ - всё нормально.
TypeScript уже догнал и местами перегнал. Good job, Microsoft. 👏

Ну TS скорее пытается догнать C#. Поведение this да это то, чем может выстрелить себе в ногу новичек. get/set согласен, не очень то и нужны. async/await такой же же как и в C# по моему. При чем композицию могут починить вот в этом пропозале: https://github.com/tc39/proposal-pipeline-operator/wiki#proposal-1-f-sharp-style-only-with-await

Имхо TS уже давно перегнал C# по обилию фич в системе типов

https://www.typescriptlang.org/docs/handbook/release-notes/typescript-3-7.html#assertion-functions и type predicate signatures не то что C#, но и C++ не снились!

В TC типы высоких порядков есть?

Т.е., шаблонные параметры, которые можно использовать как type functions

Наколеночная unsound реализация чего-то среднего между зав. типами и refinement-типами. Оч круто, ничё не скажешь.

Ну, что оно unsound - это понятно

Что-то такое есть, но пока не разбирался.

Т.е. generic-параметры, у которых есть свои generic-параметры синтаксически там есть.

Мне непонятно нафига оно надо, если оно unsound?

Вы C++ видели?