函数调用（Application）是 抽象化（Abstraction）的具象化过程

        抽象化（Abstraction）即函数（Function），其具象化的过程就是函数调用（Application）。

        在 《抽象化（Abstraction）与函数（Function）》 一文中说到，抽象化（Abstraction）即函数（Function）。也就是说，函数所定义的行为并不针对某一个对象（object），而是一类的对象，也就是（that is），针对的是一个类型（Type），而非该类型里的某个元素。即，将函数定义的行为，从某一对象上，抽象至类的层面，也就是将该行为（函数）所需要的属性（Properties）从某一对象抽出来，只要具有那些属性的对象（元素）都可以具有该行为。

        这是一个从对象角度出发的看法，而从函数（行为）出发的看法是，该函数定义的行为，其输入的对象必需满足特定的要求（具备某些属性），只要是满足这些属性的，该函数都可以使用，输出对应的结果（具备另一些属性的对象）。由此，可以把 “要具备某些属性” 看作是一个类，据有某些属性的对象都被包含这该类里面。这样，就可以看出，函数是定义在某一类对象上的行为，或是具备某些属性的对象的行为上。 Haskell 的 Typeclass 就是更高层级的抽象机制，本质还是函数，但有编译器通过 Typeclass机制，使得抽象化横跨了不同的类，类似协议（protocol）机制。

        当一个函数在被调用时，即抽象化的具象化过程，无论是常规的函数，typeclass机制下的函数，等等，都会向该函数输入一个实体的、满足函数要求的属性、的对象，包括显性的输入和隐性的输入。这就是具象化的过程。

        顺便说一下，显性输入指程序员输入，隐性输入指编译器输入。