Qual è stato il primo linguaggio con supporto di programmazione generico, e qual è stato il primo linguaggio tipicamente statico (ampiamente utilizzato) con supporto generici.
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":
Il polimorfismo parametrico del primo ordine è ora un elemento standard dei linguaggi di programmazione tipizzati staticamente. A partire da System F [20,42] e linguaggi di programmazione funzionale, i costrutti hanno trovato la loro strada in linguaggi tradizionali come Java e C #. In questi linguaggi, il polimorfismo parametrico di primo ordine è generalmente chiamato generici.
Da " Generics of a Higher Kind" , Adriaan Moors, Frank Piessens e Martin Odersky
La programmazione generica è uno stile di programmazione per computer in cui gli algoritmi sono scritti in termini di tipi successivi da specificare che vengono quindi istanziati quando necessario per tipi specifici forniti come parametri. Questo approccio, introdotto da Ada nel 1983
Da Wikipedia Programmazione generica