1、泛型编程（C++模板）
其中，Ada, Delpha, Java, C#, Swift 称之为 泛型/generics; ML， Scala和 Haskell 称之为 参数多态/parametric polymorphism; C++和D语言称之为 模板/template. 《设计模式/Design Patterns》称之为 参数化类型/parameterized type. 因为在这里，参数的类型在一般情况下都是未知的，而泛型编程可以支持多种类型，所以叫泛/generic。
①函数模板/Function Template：定义一个函数模板，可以支持多种类型的参数
The format for declaring function templates with type parameters is:
template <class identifier> function_declaration;
template <typename identifier> function_declaration;
比如, the C++ Standard Library contains the function template max(x, y) which returns the larger of x and y. That function template could be defined like this:
template <typename T>
inline T max(T a, T b) {
return a > b ? a : b;
}
当我们调用这个 Template Function的时候，只要max(x1, x2)就可以了，编译器会自动选择对应的typename。
函数模板/模板函数/Function template 可以 重载/overload，也就是说还可以定义与 函数模板同名的函数。
例如：
#include <iostream>
#include <algorithm>
template <typename T>
inline T max(T a, T b) {
return a > b ? a : b;
}
// 模板函数 重定义/overload/重载
int max(int a, int b)
{
return a>b ? a : b;
}
int main()
{
std::cout << max(3,7) << std::endl;
std::cout << max(3.0, 7.0) << std::endl;
std::cout << max(3, 7.0) << std::endl;// 调用 重载/overloaded 的函数
std::cout << max<double>(3, 7.0) << std::endl;
return 0;
}
REFER: Function templates
②类模板/Class Template
REFER: Class Template
2、泛函编程/函数式编程/Functional Programming
其，将电脑运算比作 数学 上的函数计算，并且避免使用程序状态以及易变物件。在 Functional Pgramming 中，最重要的基础是 λ演算/lambda calculus。
纯粹的函数式编程语言： Haskell，Miranda，Concurrent Clean。
非纯函数式编程语言：F#, Scala, Erlang, LISP, Mathematicar。