• A style of computer programming in which algorithms are written in terms of types to-be-specified-later that are then instantiated when needed, for specific types provided as parameters. This approach, pioneered by the ML programming language in 1973, permits writing common functions or types that differ only in the set of types on which they operate when used, thus reducing duplication. The term “generic programming” was coined in 1989 by David Musser and Alexander Stepanov. ← Wikipedia

1. Previous term: Generator function
2. Next term: Generic top-level domain
3. Random term: Prop drilling