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

Fri, 31 Aug 2012 05:37:51 -0700

Джентльмены,
 
вот где-то с этого места вы смешали в кучу два ортогональных понятия:
 
1) динамическая и статическая типизация
2) строгая и нестрогая типизация, причем нестрогая разной степени (умолчальное кастование → совместимость по присваиванию → вариантный скаляр → вариантный составной тип)
 
Дальше у вас уже пошла вообще расчлененка.
Прежде, чем обвинять друг друга в бреде, определитесь с терминологией.
 
 
 
 
29.08.2012, 15:21, "Nikita Zubkov" <[email protected]>:
Что за бред? Если в языке есть возможность динамической типизации, профита от поддержки строгой типизации мало. А производительность скорее всего только ухудшится. Либо для типизированных данных, либо для динамических.

29 августа 2012 г., 13:53 пользователь Orlovsky Alexander <[email protected]> написал:
 
 
29.08.2012, 12:20, "Ivan Petrov" <[email protected]>:
 Я смутно припоминаю, что в Perl есть способ или даже несколько
 способов организовать строгую типизацию. Вопрос - кто-нибудь сие
 практикует и если да, то какими модулями или иными средствами
 пользуется?
 Вам в каком месте и до какого уровня?
 Compile time типизации ближайшие 5 лет не будет в Perl5. Никому не
 интересно и никому не нужно.

мало того - вредно.

поскольку у перла раздельные операторы работы со строками и числами,
строгая типизация нафиг не нужна.

это не какой-нибудь говняненький lua где надо писать
if tostring(a) > b then ...
можно написать gt

 
Если бы строгая типизация была вредной или не не нужной, то никто бы не предлагал добавить ее в Perl и не спрашивал о ее поддержке.
 
У типизации, как минимум есть один профит – виртуальная машина может на порядок быстрее работать с данными, зная какого она типа заранее (вплоть до низкоуровневой ассемблерной оптимизации). И если программист знает, где оправдано ее применение, то строгая типизация – еще один мощный инструмент в его распоряжении. 
 
Впрочем, с типизацией есть проблема, когда люди переходят со "строгих" языков в "динамические", то часто пытаются программировать как раньше, вставлять assert-ы куда возможно, проверять все входные данные, следуя против идеологии языка.

--
Moscow.pm mailing list
[email protected] | http://moscow.pm.org


--
С уважением,
Никита Зубков

--
Moscow.pm mailing list
[email protected] | http://moscow.pm.org

--
Oleg Alistratov
-- 
Moscow.pm mailing list
[email protected] | http://moscow.pm.org

Ответить