泛型：Generic，一般的，通用的，算法在编写的时候不指定类型，在运行时确定其类型，实现算法与类型分离，使算法更加通用。
抽象数据类型（ADT）是一个实现包括储存数据元素的存储结构以及实现基本操作的算法。在这个数据抽象思想中，数据类型的定义和它的实现是分开的，这在软件设计中是一个重要的概念。这使得只研究和使用它的结构而不用考虑它的实现细节成为可能。
高阶函数：Higher-order function。什么是高阶函数？把函数作为参数传入，这样的函数称为高阶函数，函数式编程就是指这种高度抽象的编程范式。