彼得·阿奇顿;西蒙·佩顿·琼斯 将干净对象I/O库移植到Haskell。 (英语) Zbl 0977.68728号 Mohnen,Markus(编辑)等人,《函数语言的实现》。2000年9月4日至7日,德国亚琛IFL 2000第12次国际研讨会。精选论文。柏林:斯普林格。莱克特。注释计算。科学。2011, 194-213 (2001). 纯函数式编程语言提供了几种构建图形用户界面(GUI)的解决方案。在本文中,我们报告了一个将Clean Object I/O库移植到Haskell的项目。Clean Object I/O库使用基于唯一性类型系统Clean的显式环境传递方案。它支持许多标准GUI功能,如窗口、对话框、控件和菜单。应用程序可以具有计时行为。此外,还支持交互式流程和消息传递。标准函数式编程语言Haskell使用一个单体I/O框架。我们讨论了如何将对象I/O库放在一个单元框架中,而不丢失其基本功能。我们给出了对象I/O库的一个基本片段的实现,以证明其可行性。我们特别考虑了相关的设计选择。一个特定的设计选择,即如何处理状态,会产生两个版本。关于整个系列,请参见[Zbl 0977.68824号]. 引用于1文件 MSC公司: 68单位99 计算方法和应用 68甲18 函数编程和lambda演算 68甲15 编程语言理论 软件:哈斯克尔;清洁;软糖 PDF格式BibTeX公司 XML格式引用 \textit{P.Achten}和\textit{S.P.Jones},莱克特。注释计算。科学。2011年,194-213(2001年;Zbl 0977.68728) 全文: 链接