Модератор: перенесено. Инициирующее сообщениеviewtopic.php?p=31945#p31945

В хорошо типизированных языках многие ошибки в логике алгоритмов приведут к ошибкам типизации, которые отлавливаются компиляторам. про такие языки, как Хаскелл, часто говорят, что если уж программа скомпилировалась, то скорее всего в ней нет ошибок...