静态多态性

Question

静态多态实际上涉及基于参数的数量或类型的函数绑定，也称为参数多态。

静态多态似乎不是真正的多态，因为界面看起来不同，就像调用具有不同类型或数量参数的函数一样。

有人可以告诉我静态多态性实际上是多态吗？

请尽可能提供一些理由。

Answer 1

它的名称是..多形态的，即处理多形状的参数。

之间没有真正的区别

f(A) :- ...
f(B) :- ...

和

class A:
    f() :- ...
class B():
    f() :- ...