跳到主要内容
10.1145/507635.507655高级会议文章/章节视图摘要出版物页面国际货币基金组织会议记录会议集合
第条

Haskell中的事件,以及如何实现它们

出版:2001年10月1日出版历史

摘要

我们在Haskell中描述了CML的一个新的、更简单的实现事件,通过线程将反应编码为来自其他线程的消息。我们添加了一种新型的Guarded Events,收件人可以根据其条件筛选邮件称为Guards的值。我们实施了防护通道。卫兵类型和索引算法不是通道的一部分定义,以便用户可以权衡所需的防护措施针对索引的成本。作为示例,我们绘制了图形用户界面工具包的封装。这可能是简明扼要地做到这一点不仅是因为防范事件,还因为我们以单数形式构造事件。Monadic活动尤其有助于表示转换的并发进程他们对外部沟通的反应。

参考文献

  1. G.A.阿加。参与者:分布式系统中的并发计算模型。麻省理工学院出版社,1986年。]]谷歌学者谷歌学者数字图书馆数字图书馆
  2. J.Armstrong、R.Virding和M.Williams。Erlang中的并发编程。普伦蒂斯·霍尔,第1版,1993年。]]谷歌学者谷歌学者数字图书馆数字图书馆
  3. E.D.德曼。PVM中的高阶并发。在1997年的集群计算大会上。可从以下位置获得http://www.mathcs.emory.edu/ccc97。]]谷歌学者谷歌学者
  4. E.W.卡尔森。UniForM并发工具包及其对Concurrent HasIcell的扩展。1997年格拉斯哥函数编程研讨会。]]谷歌学者谷歌学者
  5. E.R.Gansner和J.H.Reppy。多线程高阶用户界面工具包,《软件趋势》第1卷。第61-80页。威利,1993年。]]谷歌学者谷歌学者数字图书馆数字图书馆
  6. 格拉斯哥哈斯克尔编译器。可从以下位置获得网址:http://www.haskell.org/ghc.]]谷歌学者谷歌学者
  7. Haskell的GTK+绑定。可从以下位置获得http://vww.cse.unsw.edu。au/chalc/haskell/gtk.]]谷歌学者谷歌学者
  8. S.希尔。解析表达式的分词。函数编程杂志,6(3):445-4631996.]]谷歌学者谷歌学者交叉引用交叉引用
  9. G.Hutton和E.Meijer。Haskell中的Mondic解析。函数编程杂志,8(4):437-4441998谷歌学者谷歌学者数字图书馆数字图书馆
  10. E.卡尔森。UniForM WorkBench——一个高阶工具集成范本。在1998年应用形式方法当前趋势国际研讨会上。可从以下位置获得网址://www。informatik.uni-bremen.de/ewk.]]谷歌学者谷歌学者数字图书馆数字图书馆
  11. F.卡尔森。函数式编程语言中的工具集成。博士论文,不来梅大学,1998年。可从http://www.iniormatik.uni-bremen获取。de/uniform/wb。]]谷歌学者谷歌学者
  12. D.莱曼和M.0。拉宾。自由选择的优势:用餐哲学家问题的对称和完全分布式解决方案。第八届美国计算机学会编程语言原理年会,弗吉尼亚州威廉姆斯堡,第133-138页,1981年。]]谷歌学者谷歌学者数字图书馆数字图书馆
  13. R.Milner。通信和移动系统:7微积分。剑桥大学出版社,1999年。]]谷歌学者谷歌学者数字图书馆数字图书馆
  14. P.Panangaden和J.Reppy。并发ML的本质。编辑F.尼尔森,《并发ML》。施普林格,1997年。]]谷歌学者谷歌学者交叉引用交叉引用
  15. S.Peyton Jones。应对笨拙的团队:Haskell中的单数输入/输出、并发、异常和外语调用。在C.Hoare、M.Broy和R.Steinbrueggen,软件构建工程理论编辑,Marktoberdorf夏令营2000,北约ASI系列,第47-96页。105出版社,2001年。]]谷歌学者谷歌学者
  16. S.Peyton Jones、A.Gordon和S.Finne。并发哈斯克尔。1996年1月,佛罗里达州圣彼得堡海滩,第23届ACM Sgrnposntm on Principles of Programming Languages,第295-308页。可从http://research网站微软。com/users/simonpj.]]谷歌学者谷歌学者
  17. S.Peyton Jones,J.Hughes等人,《Haskell 98:一种非标准的纯功能语言》,1999年2月。可从以下位置获得http://www.haskell.org/onlinereport。]]谷歌学者谷歌学者
  18. S.Peyton Jones,J.Hughes等人,《Haskell 98标准库》,1999年2月。可从http://www.haskell.org/onlinelibrary获取。]]谷歌学者谷歌学者
  19. J.H.代表。同步操作作为一级值。SIGPLAN’88编程语言设计与实现会议,第250-2591988页。]]谷歌学者谷歌学者数字图书馆数字图书馆
  20. J.H.代表。高阶并发。技术报告92-1285,康奈尔大学,1992年6月。可从以下位置获得http://cm.bell-labs。com/vholjhr.]]谷歌学者谷歌学者数字图书馆数字图书馆
  21. J.H.代表。《ML并行编程》,剑桥大学出版社,1999年。]]谷歌学者谷歌学者数字图书馆数字图书馆
  22. A.W.罗斯科。并行的理论与实践。普伦蒂斯·霍尔,1998年。]]谷歌学者谷歌学者数字图书馆数字图书馆
  23. M.塞奇。FranTk-Haskell的声明性CUT语言。第五届ACM SIGPLAN国际函数编程会议(ICFP’00),第106-117页,2000年。]]谷歌学者谷歌学者数字图书馆数字图书馆
  24. 新泽西州标准ML主页。http://cm。贝尔拉布。com/cm/cs/what/smlnj.]]谷歌学者谷歌学者
  25. I.Stark.顶针-MLj螺纹。第一届苏格兰函数编程研讨会,第337-346页,1999年。可从http://www.dcs获得。预计起飞时间。ac.uk/home/stark。]]谷歌学者谷歌学者
  26. GHC团队。格拉斯哥-哈斯克尔编译器用户指南,4.082000版。可从以下位置获得http://www.haskell.org/ghc。]]谷歌学者谷歌学者
  27. T.Vullinghs、D.Tuijnman和W.Schulte。用于函数编程的轻量级GUI。在第七届程序设计语言:实现、逻辑和程序国际研讨会上,第341-3561995页谷歌学者谷歌学者数字图书馆数字图书馆
  28. B.B.韦尔奇。电话和7k实用编程。普伦蒂斯·霍尔。第二版。1997.]]谷歌学者谷歌学者数字图书馆数字图书馆

索引术语

  1. Haskell中的事件,以及如何实现它们

      建议

      评论

      登录选项

      检查您是否可以通过登录凭据或您的机构访问本文。

      登录

      完全访问权限

      • 发布于

        封面图片ACM会议
        ICFP’01:第六届ACM SIGPLAN功能编程国际会议论文集
        2001年10月
        277页
        国际标准图书编号:1581134150
        内政部:10.1145/507635
        • 封面图片ACM SIGPLAN注意事项
          ACM SIGPLAN通知 第36卷第10期
          2001年10月
          276页
          国际标准编号:0362-1340
          EISSN公司:1558-1160
          内政部:10.1145/507669
          期刊目录

        版权所有©2001 ACM

        如果复制品不是为了盈利或商业利益而制作或分发的,并且复制品的第一页载有本通知和完整引文,则允许免费制作本作品的全部或部分数字或硬拷贝以供个人或课堂使用。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

        出版商

        计算机协会

        美国纽约州纽约市

        出版历史

        • 出版:2001年10月1日

        权限

        请求有关此文章的权限。

        请求权限

        检查更新

        限定符

        • 第条

        接受率

        2001年ICFP纸张接受率23属于66提交文件,35%总体验收率333属于1064个提交文件,31%

        即将召开的会议

        24年ICFP
        ACM SIGPLAN函数编程国际会议
        2024年9月9日至13日
        米兰,意大利

      PDF格式

      以PDF文件查看或下载。

      PDF格式

      电子阅读器

      使用eReader联机查看。

      电子阅读器