Если внимательно прочитать топик, то ниже я пояснил, что мой комментарий касается тезиса про производительность.
31 августа 2012 г., 14:37 пользователь Oleg Alistratov <[email protected]>написал: > Джентльмены, > > вот где-то с этого места вы смешали в кучу два ортогональных понятия: > > 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 > > -- С уважением, Никита Зубков
-- Moscow.pm mailing list [email protected] | http://moscow.pm.org
