> ошибку типов ловит же, раз не компилирует.Не ошибку типов, а несоответствие текста программы языку. Это прямая и единственная работа компилятора.
> чтобы некорректные программы были запрещены самими правилами языка
Хотел бы я посмотреть на такие правила...
Правило компилятора 1: некорректные программы запрещены!
Правила компилятора 2: не смей дискриминировать слово-на-н, пока программируешь!
и т.д.
> Чтобы их срубал ещё компилятор как несоответствующие.
Это не забота компилятора, это забота анализатора.
> Но можно пойти по пути усиления ограничений, и по этому пути пошёл Раст, вслед за другими функциональными языками.
На самом деле раст попытался пойти по правильной дорожке. Сама идея то отличная.
Но рукожопы и безмозглые идиоты превратили его в гнилые макароны.
> Но в С++ перегруз тоже ужасный.
На С++ можно писать очень сложные, большие и синтаксически простые программы. На расте - нельзя.
> но есть альтернативы?
Миллион. Точнее пара десятков - все те языки, на которых сейчас успешно создается ПО.
> вслед за другими функциональными языками
Вот этот пассаж не понял. К чему тут функциональная парадигма с их чистыми функциями, рекурсией и продолжениями?
> компилятор, я считаю, должен сращиваться со статическим анализатором
Один единственный плюс: обезьяну вместо трех движений учить двум.
Зато минусов огромная куча: невозможность раздельной разработки и сопровождения, невозможность смены анализатора на другой, сложность сопровождения срощенного куска вместо модулей...
> А где их нет?
В расте их как-то слишком много. Отсылаю к чейнджлогам понаслаждаться.
>> невероятно глупое коммьюнити
> Субъективщина.
Не-а. Посмотрите на создаваемый код (на патчи к свеженькому cve, недавно обсуждали). Посмотрите на вопросы на форумах. А, главное, посмотрите на рассуждения апологетов раста. Я, если честно, не устаю удивляться насколько можно быть глупым.
Даже мой сын, который совсем недавно осилил паскаль и которого пока что никто ничему не учил - и то в программировании больше понимает.
Ну то есть умные люди есть, конечно. Кто-то же разрабатывает, пишет. Но само коммьюнити феноменально глупое.
