Types 非赋值命令语句的类型推断

在我搜索有关命令式语言类型系统的研究论文时，我只找到了一种语言的解决方案，这种语言具有可变引用，但没有真正的命令式控制结构，如复合运算符、循环或条件

因此，目前还不清楚如何实现带有部分类型推断的命令式语言，例如

论文中没有提到参数化类型，比如

一个

的列表，因为参数化类型是Hindley-Milner类型系统的一个微不足道的扩展-只有统一算法应该被扩展，其余的推理按原样工作。然而，赋值不能简单地添加，因为会出现悖论，所以必须应用特殊的技术，如ML值限制

---

你能推荐一些描述命令循环、条件语句、IO和复合语句的语言类型系统的论据或书籍吗

嗨。这个问题可能更适合作为主题，也可能更适合作为主题。正如@GustavBertram所建议的，请访问cstheory.stackexchange.com。这个问题更适合那个网站，因为StackOverflow专门针对解决技术开发问题的特定问题。我认为这个问题没有建设性，因为这个问题（对我来说）有点边缘化，但对于Stack Overflow来说太宽泛了。将此迁移到姐妹站点可能会有问题，因为询问开放式列表（或论文、链接等）的问题通常不太受欢迎。请不要把这件事放在心上，我发现你的问题很有趣，只是不适合这么做，不幸的是，我不能直接迁移。我正在提名重新开放。如果你熟悉这个主题，那么这个问题可以得到非常直接和具体的回答。它对于程序员来说太技术化了，对于cstheory来说太低级了。实现类型系统与实现具有特定性能特征的数据结构或实现高效存储和快速渲染3d场景的算法一样，也是编程的一部分。呃，没关系——它最终在cstheory上得到了一个很好的快速答案：嗨。这个问题可能更适合作为主题，也可能更适合作为主题。正如@GustavBertram所建议的，请访问cstheory.stackexchange.com。这个问题更适合那个网站，因为StackOverflow专门针对解决技术开发问题的特定问题。我认为这个问题没有建设性，因为这个问题（对我来说）有点边缘化，但对于Stack Overflow来说太宽泛了。将此迁移到姐妹站点可能会有问题，因为询问开放式列表（或论文、链接等）的问题通常不太受欢迎。请不要把这件事放在心上，我发现你的问题很有趣，只是不适合这么做，不幸的是，我不能直接迁移。我正在提名重新开放。如果你熟悉这个主题，那么这个问题可以得到非常直接和具体的回答。它对于程序员来说太技术化了，对于cstheory来说太低级了。实现类型系统与实现具有特定性能特征的数据结构或实现高效存储和快速渲染3d场景的算法一样，也是编程的一部分。呃，没关系——它最终在cstheory上得到了一个很好的快速答案：