29 августа 2012 г., 19:13 пользователь Nikita Zubkov <nikzubkov на gmail.com> написал: > Ну покажите же этот язык, в котором на каждую кодировку есть свой тип. Вы же сами описываете типы. Любой язык со строгой типизацией и алгебраическими типами справится с этой задачей. Вот хаскелл уже в пример приводили. Языки ML семейства тоже так умеют.