Канон / R4 · корень

Протоколы вместо интерфейсов

Интерфейс — не декларация, а набор дандеров в слотах типа; проверяемые контракты приделывали к языку дважды и оба раза позже.

1Что из этого следует

Специальные методы читаются из слота типа, минуя процедуру поиска атрибута
Отсюда len() как функция и невозможность синтезировать дандер через __getattr__
Реализовав один протокол, меняешь поведение в конструкциях, о которых не думал
ABC (2007) — номинально, Protocol (2017) — структурно; оба пристроены позже
__exit__ умеет подавить исключение — полномочие, которого нет у деструктора