Abstraction and polymorphism
本章讨论abstraction 和 polymorphism，它们是现代programming language的核心所在。
Abstraction and polymorphism概述
NOTE: 描述思路如下:
conceptual model->使用programming language描述->implementation conceptual model->一个抽象可以有多个concrete/implementation->polymorphism: dispatch to concrete/implementation automatically
在下面文章中，其实已经对abstraction and polymorphism进行了描述
1) 文章Abstraction
2) 文章Abstraction-and-model
3) 文章Abstract-and-concrete
Abstraction and polymorphism是现代programming language的核心所在，本节对它们进行概述。
1) 作为software engineer，我们需要解决现实世界中的各种问题，这个过程其实是: abstraction(抽象) 并 model(建模)，然后使用**programming language**来实现/描述conceptual model，最后将此model应用于实际，从而使实际问题得解;
如何来描述concept？
这在文章Abstraction中进行了讨论。在programming language中，我们往往使用OOP class来进行描述。
如何实现conceptual model？
在文章Abstraction-principle中，提出了如下原则:
-
Program to abstraction
-
Design to abstraction
2) 一个abstraction可以有多个concrete/implementation;
Concrete的一些例子:
- Is-a: concept之间的关系: 从更加abstract的concept到更加concrete的concept
- 对某种具体的情况进行说明: 比如 C++ template specialization、OOP subclass(参见对应章节)
Implementation: 实现抽象的概念
3) Dispatch: 从abstract到concrete/implementation的过程
4) Polymorphism: dispatch to concrete/implementation automatically
Polymorphism是现代programming language内置了dispatch机制，能够自动进行dispatch，从而选择最最**具体**(concrete)的/合适**的**实现(implementation)，从而大大增加了研发效率;
NOTE: 在
./Polymorphism/Implementation中会对此进行说明
总结
下面是我之前想到的一些观点:
1) Program to an abstraction and polymorphism
这是我们遵循"Program to an abstraction"的原因，在./Program to an abstraction 章节中会对此进行详细说明。
2) Polymorphism是实现conceptual model/abstraction model的基础
Abstraction in programming language history
NOTE: 本节从programming language的发展史来思考abstraction。
参见Theory\Programming-language的"Abstraction in programming language history"章节。
Abstraction in programming paradigm
许多programming paradigm都遵循abstraction principle。
Abstraction in object-oriented programming
NOTE: 当今，OOP paradigm普遍流行，这背后有着深刻的原因，其中非常重要的一点是: OOP对concept的描述。
思考这样的一个问题：如何使用面向对象方式来描述上述kernel control path概念和task概念？
使用class来描述concept，这几个concept之间是Is-a关系，那么可以使用inheritance，下面是一个c++实现的demo：
class KernelControlPath
{
}
class SystemCallKernelControlPath public: KernelControlPath
{
}
class InterruptKernelControlPath public: KernelControlPath
{
}
kernel control path的一个**特征**就是它能够被suspend、resume，使用面向对象的方式来进行描述就是：
void suspend(KernelControlPath& kernel_control_path)
{
}
void resume(KernelControlPath& kernel_control_path)
{
}
面向对象的Polymorphism（多态性）表明suspend和resume的入参可以为SystemCallKernelControlPath、InterruptKernelControlPath类型的对象，这其实就体现了：
当一个表述中使用kernel control path的时候，我们就知道它可以是system call kernel control path、也可以是interrupt handler kernel control path
class Task:
pass
class ProcessTask(Task):
pass
class ThreadTask(Task):
pass
在计算机科学中存在与上述抽象概念类似的做法：
父类是子类的抽象
参见：维基百科Abstract type