> Тестирование - это, конечно, хорошо, но хочется предотвращения и доказательства корректности.

Хочется, не спорю.

> А кто соответствие типов проверяет? Ошибки типов как раз компилятор и отлавливает.

/устало/ компилятор - компилирует.

Он не отлавливает никакие ошибки типов - он работает в соответствии с правилами языка. Если язык декларирует неявное приведения числа к строке, то компилятор компилирует приведение числа к строке в соответствующий код. А если не декларирует, то компилятор не компилирует и выдает сигнал о несоответствии текста программы правилам языка (в просторечии - ошибка компилирования).

Всевозможные ошибки (в корректно написанной по правилам языка программе) отлавливают всяческие анализаторы. Например, не к ночи будь помянутая, pvs-studio.

> Что конкретно плохо?

Уже сотню раз писал, влом долго перечислять.
Коротко:
1) отсутствие продуманного дизайна языка,
2) перегруженный бессмысленными символами синтаксис (привет, регэкспы),
3) каша из компилятор/менеджер-пакетов/статический-анализатор/кофеварка-с-пылесосом,
4) невероятно глупое коммьюнити (глупее даже джаваскриптеров, хотя казалось бы такое невозможно)
5) постоянные заплатки, заплатки, заплатки...

И как итог - громадный и все время растущий технический долг.

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

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

> С другой же стороны, на opennet'е набрасываются на любую разработку на Раст, что она будет априори говно. Чем это лучше?

"Репутация-с" (с)
Заслужили - теперь расхлебывайте. Не вижу противоречия.