莫格尔贝里，拉斯穆斯·埃杰勒斯;萨姆·斯塔顿 状态的线性用法。 （英语） Zbl 1326.68070号 日志。方法计算。科学。 10，第1号，第17号文件，第52页（2014年）. 总结：我们调查了以下现象每个monad都是线性状态的monad我们通过研究一个完整的状态传递转换来实现这一点，该转换从一种不纯的按值调用语言转换为一种新的线性类型理论：丰富的按值计算。结果不是特定于存储的，但可以应用于任何可以使用代数运算表示的计算效果，甚至可以应用于通常不被认为是有状态的效果。源语言中的泛型效果与丰富的按值调用演算中的状态访问操作之间存在双向对应关系。从范畴模型的角度来看，丰富的逐值调用演算建议对有效逐值调用语言的传统Kleisli模型进行改进。新模型可以理解为丰富的附加词。 引用于11文件 MSC公司： 68甲18 函数编程和lambda演算 03楼52 线性逻辑和其他子结构逻辑的理论证明 18立方厘米 单子（=标准结构，三元组或三元组），单子代数，单子的同调函子和派生函子 18 C50 形式语言的范畴语义 关键词：线性类型理论;单子;计算效应;范畴语义学;丰富范畴理论;状态传递翻译 软件：水银 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Mögelberg}和\textit{S.Staton}，Log。方法计算。科学。10，第1号，第17号论文，52页（2014；Zbl 1326.68070） 全文： DOI程序 arXiv公司