Taming effects with monadic typing
Taming effects with monadic typing
复制标题
通过单元类型驯服效果
DOI：
10.1145/289423.289428
复制
发表时间：
1998
期刊：
影响因子：
--
通讯作者：
R. Kieburtz
中科院分区：
文献类型：
--
作者：
R. Kieburtz
ML语言家族的熟悉的Hindley-Milner类型系统扩展了单调注释，以说明表达评估的可能副作用。这还允许通过类型检查提供的执法有效地通过词汇示波器γ封装效果。类型和效应分析支持类型推理。类型的健全性和完整性定理建立了Monadic类型推断与小型ML式语言的参考语义的连贯性。
The familiar Hindley-Milner type system of the ML language family is extended with monad annotations to account for possible side effects of expression evaluation. This also allows effects to be effectively encapsulated by lexical scopes Γ with enforcement provided by type checking. A type-and-effects analysis supports type inference. Type soundness and completeness theorems establish the coherence of monadic type inference with the reference semantics of a small ML-style language.