[Moscow.pm] Строгая типизация в Perl

[Alexey Shrub]

31.08.2012 14:09, Андрей П. Ковбович пишет:
> 31 августа 2012 г., 11:46 пользователь Alexey Shrub <worldmind на mail.ru> написал:
>> Думаю типы должны отражать некие различные сущности, а кодировка это детали
>> реализации, тип тот же - строка.
>
> А как же абстракция данных? Вы типом (абстрактным) и скрываете эти
> детали реализации. К тому же не во всех языках строковый тип является
> встроенным.

По большому счёту вообще не должно быть строк в разных кодировках, всё 
приходящее извне должно приходить в известной кодировке и 
преобразовываться в нужный вид, в идеале автоматом.

Давайте приведу другой пример, есть тип "возраст", его нельзя складывать 
с типом "вес", но никакого значения не имеет как эти типы устроены 
внутри, хранится ли это в виде целого, вещественного или строки не важно 
- типы это более высокий уровень абстракции, а уже задача языка 
обеспечить единобразие внутреннего формата или преобразовывать между ними

-- 
Alexey Shrub