ΑZ
но нагрузка ощутимо снизилась
impl<T> MyIface for T where T: io::Writer {}Size: a a a
2021 March 14
МП
я имел ввиду не в точности io.Writer, а такой же ни к чему не привязанный и абстрактный как io.Writer.
type Petter interface { PetTheCat() }
type Petter interface { PetTheCat() }
s
Всё, что внешне неотличимо от утки может передаваться туда, где требуется утка.
ΑZ
Мимо Проходящий
я имел ввиду не в точности io.Writer, а такой же ни к чему не привязанный и абстрактный как io.Writer.
type Petter interface { PetTheCat() }
type Petter interface { PetTheCat() }
impl<T: Into<Petter>> MyDuperInterface for T { .. }ΑZ
можно что-то в таком духе
ΑZ
реализовать интерфейс обычно ничего не стоит
ΑZ
если реализация тупая и бойлерплейтная то есть дервайввы
ΑZ
структурная вс номинальная - вопрос философвский, мне ближе вторая
s
Если в расте нужно продумывать абстракции заранее, то в го они появляются почти спонтанно.
А
структурная вс номинальная - вопрос философвский, мне ближе вторая
на самом деле не только и не столько философский
ΑZ
на самом деле не только и не столько философский
ну мне кажется что оверхед очень незначительные за компайл тайм гарантии
ΑZ
без макросов конечно сильно хуже
А
структурная типизация гораздо более гибче чем номинальная
МП
ну мне кажется что оверхед очень незначительные за компайл тайм гарантии
а каких там компайл тайм гарантий нет в структурной типизации?
ΑZ
Мимо Проходящий
а каких там компайл тайм гарантий нет в структурной типизации?
если ты интерфейс поменял по любым причинам (а такое регулярно происходит), то все кто его "реализуют" молча перестали,
ΑZ
эт не очень круто
ΑZ
вторая проблема когда у тебя тип "случайно" реализует интерфейс который по логике ему не нужен
ΑZ
в дотнете регулярно проблема от того что все кому ни попадя тустринг реализуют например
ΑZ
всякое такое
А
если ты интерфейс поменял по любым причинам (а такое регулярно происходит), то все кто его "реализуют" молча перестали,
в номинальной другая проблема: если скажем метод len есть у десятка вещей, но в отдельный трейт не вынесен, то полиморфно этот метод уже особо не вызовешь