Crossing State Lines: Adapting Object-Oriented Frameworks to Functional Reactive Languages

Functional reactive programming integrates dynamic dataflow with functional programming to offer an elegant and powerful model for expressing computations over time-varying values. Developing realistic applications, however, requires access to libraries, such as those for GUIs, that are written in mainstream object-oriented languages. Previous work has developed functional reactive interfaces for GUI toolkits but has not provided an account of the principles underlying the implementation strategy. In this paper, we investigate this problem by studying the adaptation of the objectoriented toolkit MrEd to the functional reactive language FrTime. The heart of this problem is how to communicate state changes between the application and the toolkit's widget objects. After presenting a basic strategy for adaptation, we abstraction techniques based on mixins and macros that allow us to adapt numerous properties in many widget classes with minimal code duplication. This results in a wrapp...

• Type: Conference
• Year: 2006
• Where: FLOPS
• Authors: Daniel Ignatoff, Gregory H. Cooper, Shriram Krishnamurthi
• Keywords: Automated Reasoning, FLOPS 2006, Functional Reactive Interfaces, Functional Reactive Language, Functional Reactive Programming