Убийца раста?

Строгая и динамическая. А так можно?

Чудесно

Строгая и динамическая. А так можно?

надо со Смитом свести и автором Vlang

надо со Смитом свести и автором Vlang

Предлагаю запретить слово "строгая" в отношении типизации, потому что оно путает

Кто такой Смит?

Что за Vlang? Где пощупать?

В общем, идея такая. На языке пишется некоторая структура данных типа struct в C++, но без разделения compile-time и run-time.
То есть в структуре можно хранить не только значения, но и типы. Таким образом, можно составлять выражения из типов и даже существуют типы высоких порядков - типы типов типов и т.п.
Например встроенный тип высшего порядка - это type. Тип struct является его экземпляром. Экземпляром типа struct является определение структуры, как в Си. Экземпляром этого типа является собственно экземпляр структуры - значение.

По моему что-то такое в расте есть

Раст - статический язык, откуда там возьмутся рантайм типы? Максимум, что там может быть - это статическое метапрограммирование, которое уже есть в C++ и которое я активно использую в своей либе.

И то и другое. Работаю 5 дней, учусь 1. В итоге имею полтора дня в неделю + вечера.
Но с языком идея перспективная, думаю, позволит IT-индустрии сэкономить сотни миллиардов долларов. Надеюсь, что смогу вырваться из этого круга, может инвесторов найду.

Наработки по своим самым перспективным идеям я не шарю и не выкладываю в публичные репозитории.

Я не сказал, что я буду убивать именно C++, я написал, что в реализации оно проще, чем Java и даже C (я имел в виду C, а не C++, это опечатка).