Хотим получить статистику переходов по ссылкам, чтоб понимать какие темы читателям интересны больше и соответствующим образом корректировать содержание дайджестов.
Имелись в виду методы доступные в экземпляре класса.
Ок, что по-вашему значит фраза «является свойством, верным относительно объектов»?
Вот оригинал статьи в которой сразу после определения вышеупомянутого принципа идет пояснение: A type's specification determines what properties we can prove about objects.
Автор статьи считает, что в случае когда подклассы одного типа инстанциируются по-разному (то есть имеют разные конструкторы) — это не нарушает тот самый принцип.
Ок, что по-вашему значит фраза «является свойством, верным относительно объектов»?
Вот оригинал статьи в которой сразу после определения вышеупомянутого принципа идет пояснение: A type's specification determines what properties we can prove about objects.
не думаю, что это лучшее решение
более чем достаточно