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

[Nikita Zubkov]

Как использовать? Не создавать на каждую кодироку свой тип для строк.

30 августа 2012 г., 19:20 пользователь Андрей П. Ковбович <
akovbovich на gmail.com> написал:

> 29 августа 2012 г., 20:41 пользователь Nikita Zubkov
> <nikzubkov на gmail.com> написал:
> > Поймите, таким образом использовать строгую типизацию - извращение.
>
> Просветите же как ее использовать, чтобы без извращений. В моем
> понимании, система типов - это система ограничений над программой,
> которая позволяет ее контролировать, формально задать область ее,
> скажем так, определения. То есть, программа, прошедшая type checker,
> гарантированно будет без целого класса ошибок, которые авто-тесты даже
> не смогут и обнаружить.

--
> Moscow.pm mailing list
> moscow-pm на pm.org | http://moscow.pm.org
>



-- 
С уважением,
Никита Зубков
----------- следущая часть -----------
Вложение в формате HTML было извлечено…
URL: <http://mail.pm.org/pipermail/moscow-pm/attachments/20120830/f4bebf0a/attachment.html>