Тихон Тарнавский wrote: > On Sat, 21.03.2009 18:42:45 , Serhiy Storchaka wrote: >> Спецификация типов параметров в прототипе функции — самый лаконичный >> способ указания такой проверки. Плюс на один фрейм меньше в стектрейсе >> ошибки (проверка не изнутри функции, а снаружи). Плюс >> автодокументированность. >> > Эти плюсы перекрываются одним большим минусом: далеко не всегда (если > не сказать сильнее) список допустимых значений параметра в точности > совпадает с полным списком значений его типа.
Это говорит лишь о недостаточно развитой поддержке типов в языке. Тип — это и есть область значений (плюс операции). Некоторые языки позволяют легко иметь свой тип для каждого случая. Некоторые позволяют уточнять ограничения на тип при его указании. > А > следовательно совсем не факт, что строгая типизация решает хотя бы не > меньше проблем, чем создаёт. Какие проблемы создала бы возможность указывать тип параметров допустим в питоне (есть такой проект)? -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
