<div>А, так это теория. А оно надо? Вот увидеть бы ее реализацию. Именно в том, виде который вы описали, где кодировка строки определяет тип.</div><div>Поймите, таким образом использовать строгую типизацию - извращение.</div>

<div><br><div class="gmail_quote">29 августа 2012 г., 18:10 пользователь Андрей П. Ковбович <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">

<div class="im">29 августа 2012 г., 19:13 пользователь Nikita Zubkov<br>
<<a href="mailto:nikzubkov@gmail.com">nikzubkov@gmail.com</a>> написал:<br>
</div><div class="im">> Ну покажите же этот язык, в котором на каждую кодировку есть свой тип.<br>
<br>
</div>Вы же сами описываете типы. Любой язык со строгой типизацией и<br>
алгебраическими типами справится с этой задачей. Вот хаскелл уже в<br>
пример приводили. Языки ML семейства тоже так умеют.<br>
<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>
</div>