小编yot*_*sov的帖子

我正在研究Scheme编译器Stalin.它既大又复杂.此外,如果我理解正确,作者正计划撰写一系列详细介绍实施方面的论文,但从未接触过这样做.

我感兴趣的斯大林方面是全局类型推断:根据它们在程序中其他地方的用法来推断事物的类型.斯大林确实这样做了吗？如果是,如何以及在其代码库中的位置？它是否使用Hindley-Milner算法的变体/扩展？