在我搜索有关命令式语言类型系统的研究论文时，我只找到了具有可变引用但没有真正的命令式控制结构（如复合运算符、循环或条件）的语言的解决方案。
因此，尚不清楚如何实现具有部分类型推断的命令式语言（例如http://rust-lang.org）。
这些论文没有提到参数化类型，例如List of a因为参数化类型是 Hindley-Milner 类型系统的一个简单扩展 - 只有统一算法应该扩展，其余的推理按原样工作。但是，分配不能简单地添加，因为会出现悖论，因此必须应用特殊技术，例如 ML 值限制。
您能否推荐任何描述具有命令式循环、条件、IO 和复合语句的语言的类型系统的解析器或书籍？