30.08.2012 20:20, Андрей П. Ковбович пишет:
29 августа 2012 г., 20:41 пользователь Nikita Zubkov
<[email protected]> написал:
Поймите, таким образом использовать строгую типизацию - извращение.
Просветите же как ее использовать, чтобы без извращений. В моем
понимании, система типов - это система ограничений над программой,
которая позволяет ее контролировать, формально задать область ее,
скажем так, определения. То есть, программа, прошедшая type checker,
гарантированно будет без целого класса ошибок, которые авто-тесты даже
не смогут и обнаружить.
Думаю типы должны отражать некие различные сущности, а кодировка это
детали реализации, тип тот же - строка.
Типы могут быть например такие: UUID, имя_таблицы, имя_человека. Это
строки с дополнительными ограничениями, но ограничениями не не формат
хранения
--
Alexey Shrub
--
Moscow.pm mailing list
[email protected] | http://moscow.pm.org
