{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,2,9]]，“日期-时间”：“2024-02-09T23:30:34Z”，“时间戳”：1707521434260}，“引用-计数”：0，“出版商”：“剑桥大学出版社（CUP）”，“问题”：“6”，“许可证”：[{“开始”：{-date-parts“：[[2001,1,28]]，”日期-时间“：“2001-11-28T00:00:00Z”，“时间戳”用法：1006905600000}，“content-version”：“unspecified”，“delay-in-days”：27，“URL”：“https:\/\/www.cambridge.org\/core\/terms”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”J.Funct.Prog.“]，”published-print“：{”date-parts“：[[2001,11]]}”，“abstract”：“”Launchbury和Peyton Jones想出了一个巧妙的主意，将有效编程区域嵌入到像Haskell这样的纯函数语言中。关键思想基于对Hindley-Milner类型系统的简单修改。我们的第一个贡献是提出了一种利用高阶类型的更自然的封装构造，它实现了即时封装效果，但避免了原始提案的adhoc<\/jats:italic>类型参数。第二个贡献是使用原始封装构造和新引入的封装构造对严格状态进行封装的类型安全结果。我们在比原始提案更具表现力的上下文中建立了这个结果，即在高阶数值的上下文中。第三个贡献是封装的类型安全结果高阶lambda-calculus中的lazy状态。此结果解决了一个悬而未决的开放问题，以前的验证尝试都失败了。在所有情况下，我们都将预期实现形式化为非类型化术语上的简单大步操作语义，它捕获了之前提出的约简语义没有捕获到的有趣的实现细节<\/jats:p>“，”DOI“：”10.1017\/s0956796801004154“，”type“：”journal-article“，”created“：{”date-parts“：[[2008,8,8]]，”date-time“：”2008-08T10:02:49Z“，”timestamp“：1218189769000}，”page“：“591-627”，“source”：“Crossref”，“is-referenced-by-count”：32，“title”：[“Monadic封装效果：修订方法（扩展版本）”]，“前缀”：“10.1017”，“卷”：“11“，”author“：[{”given“：”E.“，”family“：”MOGGI“，”sequence“：”first“，”affiliation“：[]}，”givent“：”AMR“，”家族“：”SABRY“，”序列“：”additional“，”filiation”：“[]}]，”member“：”56“，”published-online“：”{“date-parts”：[[2001,12,8]]}“container-title”：[“函数编程杂志”]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S095679680104154“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,5,7]]，”date-time“：“2019-05-07T18:22:58Z”，“timestamp”：1557253378000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/www.cambridge.org\/core\/product\/identifier\/S095679680104154\/type\/journal_article“}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[2001,11]]}，”references-count“：0，”journal-issue“：{”issue“：“6”，”published-print“：{”date-parts“：[2001,11]}}”，“alternative-id”：[“S095679880104154“]，”URL“：”http:\/\/dx.doi.org\/10.1017\/s0956796801004154“，”关系“：{}，”ISSN“：[”0956-7968“，”1469-7653“]，”ISSN-type“：[{”value“：”0956.7968“”，“type”：“print”}，{”value“：“1469-7652”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[2001,11]]}}}}