2 基于呼叫站点的类型推断研究？ 我正在尝试学习更多关于整个程序类型检查和类型推断系统的信息，这些系统使用来自函数调用站点的信息来计算类型信息（除了使用函数体的标准方法之外）。例如，这种算法可能会使用函数调用foo(1)来推断该函数foo采用整数参数。显然，这会使推论复杂化很多，并使检查变得非模块化。 无论如何，我没有太多运气能找到关于这种方法的研究，可能是因为我不知道描述我在说什么的正确术语。有指针吗？ 9 pl.programming-languages type-theory type-inference type-systems