> Тестирование - это, конечно, хорошо, но хочется предотвращения и доказательства корректности.Хочется, не спорю.
> А кто соответствие типов проверяет? Ошибки типов как раз компилятор и отлавливает.
/устало/ компилятор - компилирует.
Он не отлавливает никакие ошибки типов - он работает в соответствии с правилами языка. Если язык декларирует неявное приведения числа к строке, то компилятор компилирует приведение числа к строке в соответствующий код. А если не декларирует, то компилятор не компилирует и выдает сигнал о несоответствии текста программы правилам языка (в просторечии - ошибка компилирования).
Всевозможные ошибки (в корректно написанной по правилам языка программе) отлавливают всяческие анализаторы. Например, не к ночи будь помянутая, pvs-studio.
> Что конкретно плохо?
Уже сотню раз писал, влом долго перечислять.
Коротко:
1) отсутствие продуманного дизайна языка,
2) перегруженный бессмысленными символами синтаксис (привет, регэкспы),
3) каша из компилятор/менеджер-пакетов/статический-анализатор/кофеварка-с-пылесосом,
4) невероятно глупое коммьюнити (глупее даже джаваскриптеров, хотя казалось бы такое невозможно)
5) постоянные заплатки, заплатки, заплатки...
И как итог - громадный и все время растущий технический долг.
> Ну никто же не пришел к чувакам из coreutils с такими криками. Наоборот, люди сами строят мост.
Ну я как бы выше и выразил приветствие именно этому проекту.
> С другой же стороны, на opennet'е набрасываются на любую разработку на Раст, что она будет априори говно. Чем это лучше?
"Репутация-с" (с)
Заслужили - теперь расхлебывайте. Не вижу противоречия.