Ну это понятно, потому что теоркат в мире математики - это во многом придумка алгебраистов всех видов и полезен он именно для них. Поэтому и примеры все будут от туда.
> Downcasting, for example, means you cannot entirely trust subclassing as a means of information hiding.
В го тоже такое есть, даже если функция принимает тип A (интерфейс) с одним методом, значение можно скастить в рантайме до другого интерфейса B, и по сути вызывать методы, которые не описаны в A
А ещё бинарник пухнет из-за таблицы кастов интерфейсов