wl.>у меня вообще никаких тестов нет в коде, тестеры вручную тестируют. ПМИ будет в понедельник, боюсь будет эпик фэйл.
wl.>ладно, надеюсь, потом дадут время на рефакторинг, чтобы привести код к такому виду, чтобы тестовый фреймворк в целом к этому легаси можно было бы прикрутить

Rust по сути представляет набор определенных тестов, которые код должен пройти на этапе компиляции (тот самый borrow checker, ага). Поэтому на нем сложнее писать, но зато меньше ошибок.

В этом плане также интересен OCAml, его система типизации тоже заставляет программиста более серьезно подойти к проблеме. В итоге заметно меньше багов на строку кода.


Но сам этот параметр (багов на строку кода) неверный, т.к. некоторые языки уж очень многословные. Есть известное исследование от Ericsson, когда они свою С/С++ систему переписали на Erlang, и там стало в 4 раза меньше строк кода (при той же плотности багов на строку, то есть общее количество багов снизилось в 4 раза). То самое подтверждение формулы Эйнштейна, E=m*C^2.
Errors = More * Code ^ 2.