Блядь, я когда-то участвовал в этом сраче в этом чате

Охотно верю

Там нельзя указать
foo: Foo = Bar() и вызвать метод Foo.bar() если он переопределен в Bar

И пришёл к выводу, что сути дела не меняет, на практике тоже самое

а как сейчас в машинный код всё генерируется?)

компилятор заинлайнит параметры по-умолчанию, ибо никаких препятствий тут нет, тк константы

Вызывается всегда метод объекта

Да, динамическая типизация - эт песдец

будет две новые функции - с разными аргументами

Есть

Но плохие

#define интерфейс контракт

Декоратор это не то)

abc

Он выдаст ошибку?

Как пример - сериализация без рефлексии. Делаешь трейт:

trait MySerialization {
  fn serialize(&self) -> Vec<u8>
}

Ты хочешь обьявить такую свою абстракцию для примитивных типов и типов из стандратной библиотеки.

И в случае интерфейсов тебе бы пришлось городить адаптеры, чтобы такой дизайн работал, либо делать решение через рефлексию, где теряются компайл-тайм проверки того, что данный тип можно сериализовать.

А в случае тайпклассов - оно работает из коробки, т.к. ты можешь реализовать свои тайпклассы для чужих типов.

Поэтому библиотеки на тайпклассах получаются более модульными и удобными для конечного пользователя без потерь в типобезопасности.

не важно.

Ошибка будет при попытке создания такого класса?

На практике понятия должны что-то значить, если решить, что динамический "тип" это тип, то понятие типа ничего не значит

Да