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

[Alexey Shrub]

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

Думаю типы должны отражать некие различные сущности, а кодировка это 
детали реализации, тип тот же - строка.
Типы могут быть например такие: UUID, имя_таблицы, имя_человека. Это 
строки с дополнительными ограничениями, но ограничениями не не формат 
хранения

-- 
Alexey Shrub