隐参数多面体

Question

什么是隐参数多态性？

显式参数多态性:泛型参数T

从编程语言语用学来看，“在参数多态中，代码接受一个类型(或一组类型)作为参数，无论是显式还是隐式。”

当未指定参数类型时，是否存在隐式参数多态性？比如Python或JavaScript？

Answer 1

是的，Java泛型是一个示例“显式参数多态”，而“隐式参数多态”是在未指定参数类型时，如Python中所发现的。请看“基本多态类型识别”，Luca，1987 - https://www.sciencedirect.com/science/article/pii/0167642387900190?ref=cra_js_challenge&fr=RR-1。

Cardelli说：“事实上，在隐式多态中，通过将结果程序解释为具有与参数和标识符相关联的类型变量，可以完全省略类型信息。程序看起来没有类型，但严格的类型检查仍然可以执行。”这是对Python方法的非常好的描述。