да понял я. в статике есть свой смысл утиной типизации и это просто чек есть ли метод у обьекта. но разве это не просто легаси же? потому что никто не мешает просто наследоваться от интерфейса
по сути если у тебя достаточно хорошая система типов (хотя бы как в расте), то в статике оно не нужно, да