Programmazione generica
In informatica, la programmazione generica è un paradigma di programmazione in cui gli algoritmi accettano come parametri le tipologie di dati da trattare, oltre ai dati veri e propri. Questo approccio, introdotto nel linguaggio ML nel 1973,[1][2] permette di scrivere codice generico, del quale possono essere auto-generate multiple versioni specializzate che differiscono solo per i tipi di dati trattati, riducendo così la necessità di scrivere codici essenzialmente duplicati.
La programmazione generica venne introdotta al pubblico generale con la sua implementazione in Ada nel 1977. Con l'introduzione dei template in C++, le tecniche di programmazione generica sono diventate parte del repertorio professionale dei progettisti di librerie. Queste tecniche vennero ulteriormente sviluppate e i "tipi parametrizzati" vennero introdotti nell'influente libro Design Patterns del 1994.[3]
Nuove tecniche vennero introdotte da Andrei Alexandrescu nel suo libro Modern C++ Design: Generic Programming and Design Patterns Applied del 2001. Successivamente il linguaggio D implementò le stesse idee.
Le funzionalità di programmazione generica sono conosciute come generics in Ada, C#, Delphi, Eiffel, Java, Nim, Python, Go, Rust, Swift, TypeScript, e Visual Basic .NET. Sono conosciute come "polimorfismo parametrico" in ML, Scala, Julia e Haskell.
Il termine "programmazione generica" fu coniato originariamente da David Musser e Alexander Stepanov[4] in un senso più specifico di quello descritto sopra, per descrivere un paradigma di programmazione in cui i requisiti fondamentali sui tipi sono astratti dagli esempi concreti di algoritmi e strutture dati, e formalizzati come "concetti", con funzioni generiche implementate in termini di questi concetti, tipicamente utilizzando i meccanismi di generalizzazione dei linguaggi come descritti sopra.
Note
- ^ (EN) Kent D. Lee, Programming Languages: An Active Learning Approach, Springer Science & Business Media, 15 dicembre 2008, pp. 9–10, ISBN 978-0-387-79422-8.
- ^ (EN) R. Milner, L. Morris e M. Newey, A Logic for Computable Functions with Reflexive and Polymorphic Types, 1975.
- ^ GoF 1994.
- ^ Musser & Stepanov 1989.
Bibliografia
- (EN) Joseph Albahari, C# 10 in a Nutshell, 1ª ed., O'Reilly, 2022.
- (EN) Joshua Bloch, Effective Java: Programming Language Guide, 3ª ed., Addison-Wesley, 2018, ISBN 978-0134685991.
- (EN) David Musser e Alexander Stepanov, Generic programming, in Symbolic and Algebraic Computation: International symposium ISSAC 1988, Lecture Notes in Computer Science, vol. 358, 1989, pp. 13–25, DOI:10.1007/3-540-51084-2_2, ISBN 978-3-540-51084-0.
- (EN) Bjarne Stroustrup, Association for Computing Machinery, Evolving a language in and for the real world: C++ 1991-2006 (PDF), ACM HOPL 2007, 2007.
- (EN) Erich Gamma, Richard Helm, Ralph Johnson e John Vlissides, Design Patterns, Addison-Wesley, 1994, ISBN 0-201-63361-2.
Voci correlate
Collegamenti esterni
- generic-programming.org
- Alexander A. Stepanov, Collected Papers of Alexander A. Stepanov (autore della Standard Template Library del C++)
