Functional Reactive GUI Programming with Modal Types

doi:10.1007/978-3-031-99751-8_5

2026-01-01

PRE

Jean-Claude Disch

Asger Heegaard

Patrick Bahr *

DOI：10.1007/978-3-031-99751-8_5

原文链接

原文求助

摘要

En 中文

函数响应式编程（FRP）是一种用于实现响应式系统的编程范式，即持续与环境交互的程序。虽然FRP允许函数式、高层次的编程风格，但FRP程序容易产生不期望的操作行为，如空间泄漏。为确保FRP程序的良好操作属性，已引入模态类型系统，其中包括使编写隐含空间泄漏的FRP程序成为不可能。在近期发展中，已引入几种能够处理异步事件和行为的模态FRP语言，其动机在于将这些语言用于GUI编程。本文探讨了名为Async Rattus的一种此类异步模态FRP语言在GUI编程实践中的适用性。为此，我们实现了Async Rattus语言的一个温和扩展，并使用它来实现一个小型GUI框架。我们通过若干案例研究演示了该语言及其GUI框架。

Keyword:

Functional reactive programming

Modal types

Asynchronous FRP

GUI programming

Space leaks