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