填空题 在程序设计中，概念（），如函数的内部变量、复合语句的内部变量或者内部类，是实现模块化的一种重要机制。

填空题 多态是类型理论的概念，指的是一个名字可以表示多个不同类的实例，只要他们具有某个共同的（）而且相关。

填空题 模块组合有若干种方式，（）可以视为模块组合的一种机制，它把若干个函数联系起来，构成更大规模的程序。