Sto cercando di capire se la programmazione generica fosse una funzionalità di programmazione funzionale che è stata poi introdotta in Java, C ++ e C # o l'ha copiata dai linguaggi di programmazione funzionale come Haskell, Lisp, OCaml ecc?
Google mi sta dando un sacco di cosa sia la programmazione generica, ma non da dove è stata originata. Tutto quello che posso vedere è che Ada l'ha implementato subito.
Lo classificherai come tecnica di programmazione funzionale?
I tipi di dati polimorfici erano in circolazione dall'inizio degli anni '70 (con l'introduzione del linguaggio ML e dell'algoritmo Hindley-Milner).
Una forma più generica, le macro Lisp, esisteva già dagli anni '60.
Secondo l' articolo di Wikipedia deriva da Ada e / o CLU (entrambi sono linguaggi di programmazione orientati agli oggetti) :
This approach, pioneered by Ada in 1983, permits writing common functions or types that differ only in the set of types on which they operate when used,
[...]
Generic programming facilities first appeared in the 1970s in languages like CLU and Ada
Come per molte grandi idee nel campo dell'informatica, qualsiasi "prima" che è possibile identificare probabilmente non era il primo vero uso. Ad esempio, Christopher Strachey discute l'idea (sotto l'etichetta "polimorfismo") nelle sue influenti note del 1967 senza dare attribuzioni quindi è probabile che l'idea fosse ben nota a quel tempo.
All'epoca non esisteva una grande divisione tra la programmazione funzionale e orientata agli oggetti.
Leggi altre domande sui tag generics