То есть получается, что я могу сложить строки (type string) в кодировках utf8 и latin1. Где в приведенном примере это запрещение? В string ложится байтовая последовательность, не привязанная к кодировке и это не контролируется ни на каком этапе.<div>

Если там и есть отдельные типы для UTF-X то вовсе не для контроля конкатенации, а присутствуют они только потому что они имеют отличное от однобайтовых кодировок внутреннее представление.</div><div><br></div><div>Таким образом, Ваш начальный тезис не подтвердился. Данная библиотека не использует строгую типизацию в указанной Вами манере и тезис про извращение в силе.<div>

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

Строки в Latin1 - встроенный в язык тип (type string).<div class="HOEnZb"><div class="h5"><span></span><br><br>пятница, 31 августа 2012 г. пользователь Nikita Zubkov  писал:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">


О боже. Вы хотите продолжать? Где же тут приведенная Вами (или не Вами) latin1?<br><br><div class="gmail_quote">31 августа 2012 г., 13:56 пользователь Андрей П. Ковбович <span dir="ltr"><<a>akovbovich@gmail.com</a>></span> написал:<br>




<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span><div><span>Может по-английски будет вам понятнее.</span></div><div><span><br></span></div>Camomile provides Unicode character type, UTF-8, UTF-16, UTF-32 strings, conversion to/from about 200 encodings, collation and locale-sensitive case mappings, and more. The library is currently designed for Unicode Standard 3.2.</span><div>





<font face="Times" size="3"></font></div><div><br></div><div>Резюмируя, система типов здесь используется для контроля над операциями над строками в различных кодировках.<span></span></div><div><font face="Times" size="3"></font><br>





пятница, 31 августа 2012 г. пользователь Nikita Zubkov  писал:<div><div><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">Аналогично.<br><br><div class="gmail_quote">




31 августа 2012 г., 13:36 пользователь Андрей П. Ковбович <span dir="ltr"><<a>akovbovich@gmail.com</a>></span> написал:<br>


<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">31 августа 2012 г., 15:32 пользователь Nikita Zubkov<br>
<<a>nikzubkov@gmail.com</a>> написал:<br>
<div>> Еще раз. Где там 200 типов на каждую кодировку?<br>
<br>
</div>Еще раз перечитайте переписку. Я не виноват в том, что вам не понятно.<br>
<div><div>--<br>
Moscow.pm mailing list<br>
<a>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>
</blockquote></div></div></div>
<br>--<br>
Moscow.pm mailing list<br>
<a>moscow-pm@pm.org</a> | <a href="http://moscow.pm.org" target="_blank">http://moscow.pm.org</a><br>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br>С уважением,<br>Никита Зубков<br>
</blockquote>
</div></div><br>--<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>
<br></blockquote></div><br><br clear="all"><div><br></div>-- <br>С уважением,<br>Никита Зубков<br>
</div></div>