这是通过算法 W 实现的 Hindley-Milner 类型推断。鉴于抽象
某些程序的语法树，其格式类似于 lambda 演算，但扩展为支持
各种原始类型和值与名称的绑定，它将确定最通用的类型
该程序。类型变量只会在必要时被实例化。
复杂性类是 EXPTIME。由于输入的复杂性，很难
更具体地确定算法在输入上的行为方式。两个测试用例
证明这一点——通过改变单个应用程序的顺序，它从产生一个小类型
作为一个非常大的输出。
2022-06-11 14:03:45
13KB
Communication and Concurrency. R. Milner. Prentice Hall, 1989
2021-05-12 15:36:08
16.38MB
1
用形式化语言描述通信与并发，非常经典，用逻辑的思维分析计算机系统中的通信并发问题
2021-04-08 16:43:43
16.34MB
1