Karl Jones: Created page with "In computer science, '''generic programming''' is a style of computer programming in which algorithms are written in terms of types to-be-specified-later that are then..."

2016-09-04T14:30:20Z

Created page with "In computer science, '''generic programming''' is a style of computer programming in which algorithms are written in terms of types to-be-specified-later that are then..."

New page

In [[computer science]], '''generic programming''' is 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.

== Description ==

This approach, pioneered by [[ML (programming language)|ML]] 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.

Such software entities are known as generics in Ada, Delphi, Eiffel, Java, C#, F#, Objective-C, Swift, and Visual Basic .NET; parametric polymorphism in ML, Scala, Haskell (the Haskell community also uses the term "generic" for a related but somewhat different concept) and Julia; templates in C++ and D; and parameterized types in the influential 1994 book ''Design Patterns''.

The authors of ''Design Patterns'' note that this technique, especially when combined with delegation, is very powerful but that "[dynamic], highly parameterized software is harder to understand than more static software."

The term generic programming was originally coined by [[David Musser]] and [[Alexander Stepanov]] in a more specific sense than the above, to describe a programming paradigm whereby fundamental requirements on types are abstracted from across concrete examples of algorithms and data structures and formalised as concepts, with generic functions implemented in terms of these concepts, typically using language genericity mechanisms as described above.

== See also ==

* [[Partial evaluation]]
* [[Concept (generic programming)]]
* [[ML (programming language)]]
* [[Type polymorphism]]
* [[Template metaprogramming]]

== External links ==

* [https://en.wikipedia.org/wiki/Generic_programming Generic programming] @ Wikipedia.org

[[Category:Computer programming]]

Generic programming - Revision history

Karl Jones: Created page with "In computer science, '''generic programming''' is a style of computer programming in which algorithms are written in terms of types to-be-specified-later that are then..."