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

[Nikita Zubkov]

Если внимательно прочитать топик, то ниже я пояснил, что мой комментарий
касается тезиса про производительность.

31 августа 2012 г., 14:37 пользователь Oleg Alistratov <ali на ali.org.ua>написал:

> Джентльмены,
>
> вот где-то с этого места вы смешали в кучу два ортогональных понятия:
>
> 1) динамическая и статическая типизация
> 2) строгая и нестрогая типизация, причем нестрогая разной степени
> (умолчальное кастование → совместимость по присваиванию → вариантный скаляр
> → вариантный составной тип)
>
> Дальше у вас уже пошла вообще расчлененка.
> Прежде, чем обвинять друг друга в бреде, определитесь с терминологией.
>
>
>
>
> 29.08.2012, 15:21, "Nikita Zubkov" <nikzubkov на gmail.com>:
>
> Что за бред? Если в языке есть возможность динамической типизации, профита
> от поддержки строгой типизации мало. А производительность скорее всего
> только ухудшится. Либо для типизированных данных, либо для динамических.
>
> 29 августа 2012 г., 13:53 пользователь Orlovsky Alexander <
> nordicdyno на yandex.ru> написал:
>
>
>
> 29.08.2012, 12:20, "Ivan Petrov" <i.petro.77.00 на gmail.com>:
>
>  Я смутно припоминаю, что в Perl есть способ или даже несколько
>  способов организовать строгую типизацию. Вопрос - кто-нибудь сие
>  практикует и если да, то какими модулями или иными средствами
>  пользуется?
>
>  Вам в каком месте и до какого уровня?
>  Compile time типизации ближайшие 5 лет не будет в Perl5. Никому не
>  интересно и никому не нужно.
>
> мало того - вредно.
>
> поскольку у перла раздельные операторы работы со строками и числами,
> строгая типизация нафиг не нужна.
>
> это не какой-нибудь говняненький lua где надо писать
> if tostring(a) > b then ...
> можно написать gt
>
>
> Если бы строгая типизация была вредной или не не нужной, то никто бы не
> предлагал добавить ее в Perl и не спрашивал о ее поддержке.
>
> У типизации, как минимум есть один профит – виртуальная машина может на
> порядок быстрее работать с данными, зная какого она типа заранее (вплоть до
> низкоуровневой ассемблерной оптимизации). И если программист знает, где
> оправдано ее применение, то строгая типизация – еще один мощный инструмент
> в его распоряжении.
>
> Впрочем, с типизацией есть проблема, когда люди переходят со "строгих"
> языков в "динамические", то часто пытаются программировать как раньше,
> вставлять assert-ы куда возможно, проверять все входные данные, следуя
> против идеологии языка.
>
> --
> Moscow.pm mailing list
> moscow-pm на pm.org | http://moscow.pm.org
>
>
>
> --
> С уважением,
> Никита Зубков
>
> --
> Moscow.pm mailing list
> moscow-pm на pm.org | http://moscow.pm.org
>
> --
> Oleg Alistratov
>
> --
> Moscow.pm mailing list
> moscow-pm на pm.org | http://moscow.pm.org
>
>


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