Так тут набор модеров полностью сменился с начала чата

Конст даже сбежал

Старожилов, которые с самого начала тут висят, по пальцам можно пересчитать

Можно у @Harmonizr спросить, как чат менялся с самого создания)))

kek

скромненько просят милостыню, 66 пакетов

А можно ссылку на пропоузал?

Ибо если обсуждать, то надо быть знакомым с предметом разговора.

Ну у них там для описания boundaries типа были "контракты" https://go.googlesource.com/proposal/+/refs/heads/master/design/go2draft-contracts.md#using-a-contract

" In Go we don't refer to names, such as, in this case, String, and hope that they exist. Go resolves all names to their declarations when they are seen."
Это тот самый язык, в котором для конформности интерфейсу достаточно определить функции с нужными именами и сигнатурами?

// Ordered is a type constraint that matches any ordered type.
// An ordered type is one that supports the <, <=, >, and >= operators.
type Ordered interface {
  type int, int8, int16, int32, int64,
    uint, uint8, uint16, uint32, uint64, uintptr,
    float32, float64,
    string
}

А вот это неплохо. Практически union типы.

Я правильно понимаю что сейчас остановились на мономорфизация?

// Ordered is a type constraint that matches any ordered type.
// An ordered type is one that supports the <, <=, >, and >= operators.
type Ordered interface {
  type int, int8, int16, int32, int64,
    uint, uint8, uint16, uint32, uint64, uintptr,
    float32, float64,
    string
}

Вот только я не понял, можно ли здесь ссылаться на другие constraints

если бы я знал что такое мономорфизация

Пролистал остальное. Короче, они взяли плюсовые шаблоны, теперь официально, причем взяли новые, с контрактами. Добавили поддержку union типов.

Для функций - да. Для типов - нет.

Подход джавы - одна версия кода для всех типов

Generic functions, rather than generic types, can probably be compiled using an interface-based approach. That will optimize compile time, in that the function is only compiled once, but there will be some run time cost.

Generic types may most naturally be compiled multiple times for each set of type arguments. This will clearly carry a compile time cost, but there shouldn't be any run time cost. Compilers can also choose to implement generic types similarly to interface types, using special purpose methods to access each element that depends on a type parameter.