Как использовать? Не создавать на каждую кодироку свой тип для строк.<br><br><div class="gmail_quote">30 августа 2012 г., 19:20 пользователь Андрей П. Ковбович <span dir="ltr"><<a href="mailto:akovbovich@gmail.com" target="_blank">akovbovich@gmail.com</a>></span> написал:<br>

<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">29 августа 2012 г., 20:41 пользователь Nikita Zubkov<br>
<<a href="mailto:nikzubkov@gmail.com">nikzubkov@gmail.com</a>> написал:<br>
<div class="im">> Поймите, таким образом использовать строгую типизацию - извращение.<br>
<br>
</div>Просветите же как ее использовать, чтобы без извращений. В моем<br>
понимании, система типов - это система ограничений над программой,<br>
которая позволяет ее контролировать, формально задать область ее,<br>
скажем так, определения. То есть, программа, прошедшая type checker,<br>
гарантированно будет без целого класса ошибок, которые авто-тесты даже<br>
не смогут и обнаружить.</blockquote><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
<div class="HOEnZb"><div class="h5">--<br>
Moscow.pm mailing list<br>
<a href="mailto:moscow-pm@pm.org">moscow-pm@pm.org</a> | <a href="http://moscow.pm.org" target="_blank">http://moscow.pm.org</a><br>
</div></div></blockquote></div><br><br clear="all"><div><br></div>-- <br>С уважением,<br>Никита Зубков<br>