Строгая типизация?

[swizard]

Закончил недавно относительно большой проект по работе -- ~10k строк на несколько подзабытом мной C++.

Дабы не было совсем скучно, решил использовать исключительно статический полиморфизм -- вышло даже достаточно удобно, в итоге virtual даже не понадобился ни разу. Единственно, немного напрягли сначала длиннющие сообщения об ошибках, но я их

Comments

[swizard]

> "Длиннющие сообщения" о несерьезных ошибках? И есть уверенность, что одну такую ошибочку не пришлось бы потом пол дня искать, если бы не компилятор?

В моем случае, это, в основном, были забытые manual template instantiation (хз как это перевести) -- я библиотеку делал. Так что без компилятора явные ошибки бы вылезли при первом же запуске программы :)

> if наверняка без {} написал :-) В FreeBSD coding style требует отсутствия скобок, если оператор в ifе единственный. В результате даже очень хорошие программисты пытаются туду добавить второй, забыв добавить скобки.

Странно. FreeBSD coding style заодно требует табуляцию в 8 пробелов, так что очень сложно не заметить, что оператор не попал в блок if :) Не, у меня там был {}, просто я уже в готовый код if добавлял, и потом часть операторов внес в блок, а один забыл (то ли промахнулся, то ли тупняк нашел какой-то).

> Я такой аккуратностью похвастаться не могу. Мне типизация сильно в отладке помогает.

Ну я там указал "имхо" =) Вообще у меня и на динамических языках проблемы с типизацией очень редко встречались. Мб просто помогает привычка, приобретенная в лисповом репл -- сразу проверять, как только напишешь минимальную единицу кода. В С++, правда, это не репл, а дебаггер, медленно и не очень удобно, но терпимо :)