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