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

[Nikita Zubkov]

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

29 августа 2012 г., 18:10 пользователь Андрей П. Ковбович <
akovbovich на gmail.com> написал:

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



-- 
С уважением,
Никита Зубков
----------- следущая часть -----------
Вложение в формате HTML было извлечено…
URL: <http://mail.pm.org/pipermail/moscow-pm/attachments/20120829/43c31969/attachment.html>