[Moscow.pm] Строгая типизация в Perl

Андрей П. Ковбович akovbovich на gmail.com
Чт Авг 30 10:20:19 PDT 2012


29 августа 2012 г., 20:41 пользователь Nikita Zubkov
<nikzubkov на gmail.com> написал:
> Поймите, таким образом использовать строгую типизацию - извращение.

Просветите же как ее использовать, чтобы без извращений. В моем
понимании, система типов - это система ограничений над программой,
которая позволяет ее контролировать, формально задать область ее,
скажем так, определения. То есть, программа, прошедшая type checker,
гарантированно будет без целого класса ошибок, которые авто-тесты даже
не смогут и обнаружить.


Подробная информация о списке рассылки Moscow-pm