у нас есть и посложнее массивов параметрические типы.
Ну, ещё раз повторюсь, я не очень хочу на эту тему спорить.
Обобщения — это полиморфизм. В первую очередь — полиморфизм функций.
Нет никакого толку от параметрического типа без полиморфизма функций.
Для чего в первую очередь дженерики нужны? Для того чтоб не писать под каждый тип одну и ту же функцию.
Это даёт нам возможность переиспользование код (иногда ещё безопасности добавляет).
У нас это работает точно так же. Есть, например, несколько типов: слайсы, массивы, мапы, каналы и есть make
, len
.
Или есть любой тип и есть new
.
Это и есть дженерики.
Огромную путаницу вносят языковые особенности. Почему-то дженерики переводят как множественное число от некоего дженерика, но это же вообще не так.
Generics — это обобщения. Не типы, не функции — это механизм.
Но опять-таки, если вы считаете мапы и каналы дженериками, — это ваше право и ваше мнение, я его оспаривать не хочу.