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