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