机构名称：
¥ 2.0
超载包括使用相同的符号来指代几个函数，或者相同以指代几个常数。超载在数学中无处不在。它也以许多编程语言出现，这些语言可以静态地解决过载，而不是在程序执行过程中依赖动态调度的语言。因此，一个关键问题是如何确定每次出现超载符号的函数所指的函数。过载的静态分辨率与TypeChecking固有地交织在一起。的确，超载分辨率取决于类型，但是超载符号的类型取决于它们的解决方式。这项工作介绍了第一个用于静态分辨率过载的算法：（1）不仅通过函数参数来指导分辨率，还通过预期结果类型来指导分辨率，（2）支持多态类型。此外，我们的算法支持像传统ML Typechecker一样推断的类型 - 我们仅排除了多态性的推理。我们说明了算法对传统数学公式进行打字的实用性，以及使用文字，函数，构造函数和记录字段名称的过载的ML代码进行打字。
超载的打字
主要关键词
相关文件推荐
