Observations

> на правильном языке если программа компилируется, то значит, она правильная, тесты не нужны.

Да, на правильном языке вполне можно написать так, чтоб тесты были не нужны.
Только вот, "она правильная" надо заменить на "соответствует прописанной спецификации".
А прописать можно даже и очень много, но всё равно, чего-то забыть.
А тема со спецификациями на спецификации всё как-то не поднимается ;-)
Ну и плюс к всему, правильные языки очень мало, кто знает и работать на них неудобно, хотя и теоретически, ничего мешать не должно — трудности, упрощённо говоря, порядка "неудобная библиотека для простого программирования".
Но дело медленно, но движется.