https://ru.wikipedia.org/wiki/%D0%9F%D0%BE%D0%BB%D...
Первым языком, целиком основанным на полиморфном λ-исчислении, был ML (1973 год); независимо от него параметрические типы были реализованы в Клу (1974 год)[27]. Многие современные языки (С++, Java, C#, D и другие) предоставляют параметрические типы в форме, более или менее близкой к их реализации в Клу.
вам придется эти вещи реализовывать рукамиМожет придется, а может не придется
что вы имеете ввиду под нечитабельными отзывами?https://bureau.ru/bb/soviet/20151213/
Какие они должны быть: