Twas brillig at 09:52:03 22.03.2009 UTC+02 when storchaka@gmail.com did gyre and gimble: SS> Какие проблемы создала бы возможность указывать тип параметров SS> допустим в питоне (есть такой проект)? Простой пример: в разных библиотеках для питона есть специализированные типы, притворяющиеся строками для всех практических нужд, но реализованные по-другому (кэширование, внутренние преобразования, дополнительная функциональность). Для получения эквивалентной функциональности потребовалось бы ввести новое понятие: контракт, выражающийся не в типе, а в наборе свойств, которым требуется удовлетворять. Не считая той досадной вещи, что проверка контракта невычислима, всё хорошо. --
Attachment:
pgp2Bs_C1In3p.pgp
Description: PGP signature