高阶函数 、高阶类型

高阶：意味着可变、变化；多态。

动态绑定。