чего ж тут приятного, когда ты узнаешь об ошибке только тогда, когда она случилась?
Все ошибки, которые можно проверить статически, ты узнаешь на этапе компиляции. Те, которые нельзя - в рантайме. Всё как в C++ и других статических языках.
Можно же условно написать меташаблоны для тех же паттернов и попробовать это все как-то минимизировать, плодить ЯП на основе С или С++ - на это лет 5 нужно и пару мультов баксов
Ты имеешь в виду реализовать те же концепции на шаблонах средствами метапрограммирования? Я так и делаю в своей либе. Потому она и будет в основе моего языка. Но это только статика, которую можно частично завернуть в динамические type-erased интерфейсы. И в принципе удобство C++ тут ограничено. К тому же подмножество моего языка будет убийцей JSON/XML/protobuf и любых других форматов сериализации. А C++ сделать форматом сериализации никак не получится.