как можно сделать универсальный тип (аля генерик):
tmp:=nil
if (1) { tmp = []ID1{}  } else
if (2) { tmp = []ID2{}  } else
if (3) { tmp = []ID3{}  }
DoWork(tmp)
???????????????????????

map, slice, chan - это полноценные дженерики

Если бы slice являлся бы полноценным дженериком, под него не пришлось бы писать пакет sort в том виде, в котором он сейчас существует.
Но я не готов спорить на эту тему, если честно. Если вы считаете, что это прям дженерики, то ок)

что является полноценными дженериками?

Ну вот минимально что хочется: коллекции. промисы, генераторы.
В go на первом же дне изучения языка я уже уперся в sync.Map, в котором нельзя указать тип.

дженерик - это параметрический тип. если у вас другое определение дженерика - озвучьте его для начала, пожалуйста

Ну ладно. Завел публику и саморекламная пауза про 30+ лет. В начале октября я рассказал про то, почему язык Go такой странный. Зачем Google придумал свою странную систему работы с абстрактными данными? Что за непривычные паттерны у нового языка от Google? Что это за «чёрт из табакерки», учитывающий только странные «хотелки» Google, но игнорирующий часть мирового опыта развития языков? «Суверенный» Go-путь? Кто эти «хипстеры» из Google, разработавшие «хипстерский» язык Go для «хипстеров»? Зачем это всё знать?
https://youtu.be/ql-uncsqoAU

👉 Это очень насыщенный доклад даже для меня. На каждую секцию из этого доклада можно ещё пару отдельных докладов сделать. Было перерыто много тысяч строк кода и просмотрено несколько часов видеоматериалов. Большинство добытых материалов в доклад не вошло.

➡️ Презентация на сайте конференции: https://golangconf.ru/2019/abstracts/5753
➡️ Презентация и её код на LaTeX на GitHub: https://github.com/schors/gcr2019strangego
➡️ Рассказ о том, как я программировал презентацию на LaTeX: https://habr.com/ru/post/471352/

Дженерик — это параметрически полиморфный тип. Всё так.
Но на мой взгляд для "настоящести дженериков" этот параметрический полиморфизм должен быть явным.

Условная len принимают в качестве аргумента экземпляр T и по какой-то условно неизвестной логике возвращает длину строки, слайса, массива или мапы.

На самом деле, конечно, любому, кто видел реализацию этих структур, логика-то понятна, но эта логика не касается и не основана на системе типов.

Вот я о чём.

@dmitry_test ^ вот человек доклад делал хороший, там немного раскрывается тема, почему голанг именно такой.
там и про дженерики есть немного.

> этот параметрический полиморфизм должен быть явным.

В каком виде должен быть явный "параметрический полиморфизм", если взять как пример "len"?

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

len() - это не тип, и даже не метод типа. не надо в кучу все мешать…

Дженерики — это не типы, а средства обобщения, языковые средства.
Параметрические типы — это один из видов дженериков.

а дайте мне, пожалуйста, ссылку на ваше определение дженериков

Ну вот минимально что хочется: коллекции. промисы, генераторы.
В go на первом же дне изучения языка я уже уперся в sync.Map, в котором нельзя указать тип.

а дайте мне, пожалуйста, ссылку на ваше определение дженериков