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

[alpha6]

Что-то? Какие еще ошибки позволяет выявлять строгая типизация? 
Все ошибки неправильного присвоения типов прекрасно ловятся проверкой входящих данных и тестами. Если у вас нет ни первого ни второго - то вы ССЗБ.


On 29 Aug 2012, at 5:15 PM, Alexandr Alexeev <afiskon на gmail.com> wrote:

>>> профита от поддержки строгой типизации мало
> 
> В скриптах на 100 строк кода профита нет. В крупных проектах профит
> огромен. И дело не столько в производительности, сколько в возможности
> выявлять ошибки на раннем этапе разработки.
> 
> 29 августа 2012 г., 16: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
>> 
> 
> 
> 
> -- 
> С уважением, Александр
> Личный блог: http://eax.me/
> Мой форум: http://it-talk.org/
> Мой Twitter: http://twitter.com/afiskon
> -- 
> Moscow.pm mailing list
> moscow-pm на pm.org | http://moscow.pm.org