×

将干净对象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号].

MSC公司:

68单位99 计算方法和应用
68甲18 函数编程和lambda演算
68甲15 编程语言理论

软件:

哈斯克尔清洁软糖
PDF格式BibTeX公司 XML格式引用
全文: 链接