We describe a design for generics in Go inspired by previous work on Featherweight Java by Igarashi, Pierce, and Wadler. Whereas subtyping in Java is nominal, in Go it is structural, and whereas generics in Java are defined via erasure, in Go we use monomorphisation. Although monomorphisation is widely used, we are one of the first to formalise it. Our design also supports a solution to The Expression Problem.

кто помнит Featherweight Java?

Через монаду Future и Identity соответственно

real slim shady stand up!

оо да

про доброту монольского ига можно слагать легенды

Ну это непринципиально, что придется вспомогательный тип вводить.

https://lib.rs/crates/mitochondria 😃

monomorphisation кстати серьезный тренд

в расте тоже используется вариант мономорфизации для дженериков

Ещё компилятор не будет способен проверить тип

что насчет конкисты иберии в 800-1400 году мусульманами, которые всех подряд вырезали? Что насчет турков которые даже в 19-20 веках умудрялись геноцидить целые народы?

ооо, годные примеры.

что-то я забыл про добрых мусульман.

про то что туристический кипр заминирован из-за тех же турков ты ведь в курсе?

а то поедешь на курорт, а тебя разорвёт

И это только одна из характеристик - суммарно полное водоизмещение. Для корректной оценки нужна интегральная характеристика.

Еще одна популярная хотелка, это т.н. streaming iterator.
Это что-то типа.
fn next<'a> (&'a mut self) -> Self::Item<'a>;

то есть значение, созданное таким итератором одалживает его. Соответственно, одновременно может существовать только одно значение такого итератора.

нет ну признайтесь