А, так это теория. А оно надо? Вот увидеть бы ее реализацию. Именно в том, виде который вы описали, где кодировка строки определяет тип. Поймите, таким образом использовать строгую типизацию - извращение.
29 августа 2012 г., 18:10 пользователь Андрей П. Ковбович < [email protected]> написал: > 29 августа 2012 г., 19:13 пользователь Nikita Zubkov > <[email protected]> написал: > > Ну покажите же этот язык, в котором на каждую кодировку есть свой тип. > > Вы же сами описываете типы. Любой язык со строгой типизацией и > алгебраическими типами справится с этой задачей. Вот хаскелл уже в > пример приводили. Языки ML семейства тоже так умеют. > -- > Moscow.pm mailing list > [email protected] | http://moscow.pm.org > -- С уважением, Никита Зубков
-- Moscow.pm mailing list [email protected] | http://moscow.pm.org
