除赋值之外的命令式语句的类型推断
在我搜索有关命令式语言类型系统的研究论文时，我只找到了具有可变引用但没有真正的命令式控制结构（例如复合运算符、循环或条件）的语言的解决方案。
因此，尚不清楚具有部分类型推断的命令式语言（例如 http://rust-lang.org）是如何实现的实施的。
论文没有提到参数化类型，例如 List of a，因为参数化类型是 Hindley-Milner 类型系统的简单扩展 - 只有统一算法应该扩展，其余的推理按原样工作。然而，分配不能简单地添加，因为会出现悖论，因此必须应用诸如 ML 值限制之类的特殊技术。
您能否推荐任何描述具有命令式循环、条件、IO 和复合语句的语言的类型系统的解析器或书籍？
In my search for research papers about type systems for imperative languages, I only find solutions for a language with mutable references but without genuine imperative control structures such as compound operators, loops or conditionals.
So it's not clear how an imperative language with partial type inference such as http://rust-lang.org can be implemented.
The papers don't mention parametrized types such as List of a because parametrized types are a trivial extension of Hindley-Milner type system - only the unification algorithm should be extended, and the rest of inference works as is. However, assignments cannot be trivially added because paradoxes arise, so special techniques such as ML value restriction must be applied.
Can you recommend any parers or books describing a type system for a language with imperative loops, conditionals, IO and compound statements?
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论