Implementation Queue

The following are points to be integrated somewhere:

• Specialization: there are two levels of meaningful function specialization. The first, from functions on concepts (i.e. template functions) to functions on types, is supported by C++, and used extensively in STL. The second, from functions on types to functions on literal values, is not supported by C++.

  (Specializing classes is not supported in C++.)

• Function objects: Lexical closures in functional languages implement function objects. C++ definition syntax is not very elegant. For every function (generic or specific) there is a correponding function objec type. It is, however, impossible to obtain this type in C++ without typing in a corresponding definition.