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