Quale era la prima lingua con supporto di programmazione generico, e qual era il primo linguaggio tipicamente tipizzato (ampiamente utilizzato) con supporto generico.
I generici implementano il concetto di tipi parametrizzati per consentire più tipi. Il termine generico significa "pertinente o appropriato a grandi gruppi di classi".
Ho visto le seguenti menzioni di "prima":
First-order parametric polymorphism is now a standard element of statically typed programming languages. Starting with System F [20,42] and functional programming lan- guages, the constructs have found their way into mainstream languages such as Java and C#. In these languages, first-order parametric polymorphism is usually called generics.
Da " Generici di un tipo più elevato" , Adriaan Moors, Frank Piessens e Martin Odersky
Generic programming is a style of computer programming in which algorithms are written in terms of to-be-specified-later types that are then instantiated when needed for specific types provided as parameters. This approach, pioneered by Ada in 1983
Da Wikipedia Programmazione generica