Go generics спустя три года: стало лучше или так и остались полумерой?

[depechie]

А на последней версии так же работает? Боюсь обновляться.

[arch_coder]

Попробовал — работает, но пришлось ещё права на папку поправить.

[tastytim]

Живу с дженериками с 1.18, и самописные Map/Filter выкинул через полгода. В stdlib теперь slices.Contains, slices.SortFunc, maps.Keys, этого хватает на 90% случаев. iter.Seq в 1.23 закрыл тему итераторов. Единственное что реально бесит до сих пор, нельзя метод с type-параметром, приходится городить свободные функции и таскать их отдельным пакетом. В остальном полумера оказалась вполне рабочей.

[postgres2]

Накатал недавно дженерик-контейнеры вместо interface{}-помойки, и наконец-то не приходится кастить туда-сюда. Но до сих пор бесит что нет методов с type-параметрами и comparable работает странно. Кто как живёт с дженериками сейчас?

[FpgaDev]

Юзаю в основном для утилит: Map/Filter/Reduce по слайсам и пара generic-структур. Для прикладного кода 90% времени дженерики не нужны, и это норм. Go не превращается в C++ темплейтную мясорубку, и слава богу.

[cohenst1]

Главная боль — производительность. Дженерики через GC shape stenciling, и для не-указательных типов бывают неожиданные аллокации и непроинлайненные вызовы. Гонял бенч: generic min/max местами медленнее ручной копипасты. Для горячего пути иногда дешевле сгенерить код.

[kernel_veteran]

alex_dev вот про перф не знал, спасибо. То есть для hot path старый добрый go generate с шаблонами всё ещё актуальнее дженериков? Печально.

[taichi]

@cohenst1, твой бенч с min/max устарел года на два. С 1.21 min и max это билтины, никакого стенсилинга там нет. А по аллокациям для не-указательных типов покажи конкретный кейс, в 1.22+ инлайнер заметно подтянули. Не спорю, gcshape дает один код на все указатели и девиртуализация страдает, но мантра дженерики медленные уже не работает, надо мерить на своей версии.

[softlurker]

Именно. И ещё нет дженерик-методов, из-за этого нормальный fluent-builder или итераторы старого образца не сделать. С range-over-func в 1.23 чуть полегчало, но дыра в дизайне видна.

[Esp32Smith]

Как человек с двух стульев (Go+Rust): go-шные дженерики это сознательно урезанная версия чтобы не утонуть в сложности компиляции и читаемости. Меня это устраивает. Хочешь монады и HKT — это не сюда, это в Haskell.