抽象化(Abstraction)即函数(Function),其具象化的过程就是函数调用(Application)。
在 《抽象化(Abstraction)与函数(Function)》 一文中说到,抽象化(Abstraction)即函数(Function)。也就是说,函数所定义的行为并不针对某一个对象(object),而是一类的对象,也就是(that is),针对的是一个类型(Type),而非该类型里的某个元素。即,将函数定义的行为,从某一对象上,抽象至类的层面,也就是将该行为(函数)所需要的属性(Properties)从某一对象抽出来,只要具有那些属性的对象(元素)都可以具有该行为。
这是一个从对象角度出发的看法,而从函数(行为)出发的看法是,该函数定义的行为,其输入的对象必需满足特定的要求(具备某些属性),只要是满足这些属性的,该函数都可以使用,输出对应的结果(具备另一些属性的对象)。由此,可以把 “要具备某些属性” 看作是一个类,据有某些属性的对象都被包含这该类里面。这样,就可以看出,函数是定义在某一类对象上的行为,或是具备某些属性的对象的行为上。 Haskell 的 Typeclass 就是更高层级的抽象机制,本质还是函数,但有编译器通过 Typeclass机制,使得抽象化横跨了不同的类,类似协议(protocol)机制。
当一个函数在被调用时,即抽象化的具象化过程,无论是常规的函数,typeclass机制下的函数,等等,都会向该函数输入一个实体的、满足函数要求的属性、的对象,包括显性的输入和隐性的输入。这就是具象化的过程。
顺便说一下,显性输入指程序员输入,隐性输入指编译器输入。