Concept (generic programming)  In generic programming, a concept is a description of supported operations on a type, including syntax and semantics. In this way, concepts are related to abstract types but concepts do not require a subtype relationship. The term was in use as early as 1998 for STL, as this was one of the first libraries that extensively used templates. The term "concept" (and its popularization) is credited to Alexander Stepanov, the primary designer of the STL. In the C++ 1998 standard, the "Concept" term was introduced to name just a simple description of the requirements for particular type, usually being a template parameter. It was not encoded in the language explicitly – the concept was expressed only by what operations are attempted on objects of that type and what is expected to work (that is, to compile correctly). There was a proposal to add concepts as an explicit language feature in C++11, though it was rejected as "not ready". As generics in Java and C# have some similarities to C++'s templates, the role of concepts there is played by interfaces. However, there is one important difference between concepts and interfaces: when a template parameter is required to implement a particular interface, the matching type can only be a class that implements (explicitly) that interface. Concepts bring more flexibility because they can be satisfied in two ways:  But the C# language has several constructs where the used type does not need to explicitly implement a defined interface, it is only required to match the respective pattern (however, these patterns are not called "concepts"). E.g. the codice_1 iteration statement allows the iterated object to be of any type, as long as it implements an appropriate codice_2 method. (Compare with the codice_3 statement which requires the resource to implement the codice_4 interface.) Another language implementing something very similar to concepts is Haskell, where the feature is called type classes. For example, if a type codice_5 satisfies the Trivial Iterator concept in C++, and codice_6 is of type codice_5, the following are valid expressions with corresponding semantics: