Functional reactive programming, continued

ABSTRACT

Functional Reactive Programming (FRP) extends a host programming language with a notion of time flow. Arrowized FRP (AFRP) is a version of FRP embedded in Haskell based on the arrow combinators. AFRP is a powerful synchronous dataflow programming language with hybrid modeling capabilities, combining advanced synchronous dataflow features with the higher-order lazy functional abstractions of Haskell. In this paper, we describe the AFRP programming style and our Haskell-based implementation. Of particular interest are the AFRP combinators that support dynamic collections and continuation-based switching. We show how these combinators can be used to express systems with an evolving structure that are difficult to model in more traditional dataflow languages.

REFERENCES

• 1: Gérard Berry , Georges Gonthier, The ESTEREL synchronous programming language: design, semantics, implementation, Science of Computer Programming, v.19 n.2, p.87-152, Nov. 1992 [doi>10.1016/0167-6423(92)90005-V]
• 2: Gérard Berry, The foundations of Esterel, Proof, language, and interaction: essays in honour of Robin Milner, MIT Press, Cambridge, MA, 2000
• 3: Magnus Carlsson and Thomas Hallgren. Fudgets - Purely Functional Processes with applications to Graphical User Interfaces. PhD thesis, Chalmers University of Technology, March 1998.
• 4: P. Caspi , D. Pilaud , N. Halbwachs , J. A. Plaice, LUSTRE: a declarative language for real-time programming, Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.178-188, January 21-23, 1987, Munich, West Germany [doi>10.1145/41625.41641]
• 5: Paul Caspi and Marc Pouzet. A co-iterative characterization of synchronous stream functions. In Coalgebraic Methods in Computer Science (CMCS '98), Electronic Notes in Theoretical Computer Science, March 1998.
• 6: Paul Caspi and Marc Pouzet. Lucid Synchrone, a functional extension of Lustre. Submitted for publication, 2000.
• 7: Franois E. Cellier. Object-oriented modelling: Means for dealing with system complexity. In Proceedings of the 15th Benelux Meeting on Systems and Control, Mierlo, The Netherlands, pages 53-64, 1996.
• 8: Antony Courtney and Conal Elliott. Genuinely functional user interfaces. In 2001 Haskell Workshop, September 2001.
• 9: Conal Elliott, Functional Implementations of Continuos Modeled Animation, Proceedings of the 10th International Symposium on Principles of Declarative Programming, p.284-299, September 16-18, 1998
• 10: Conal Elliott , Paul Hudak, Functional reactive animation, Proceedings of the second ACM SIGPLAN international conference on Functional programming, p.263-273, June 09-11, 1997, Amsterdam, The Netherlands
• 11: Thierry Gautier , Paul Le Guernic , Löic Besnard, SIGNAL: A declarative language for synchronous programming of real-time systems, Proc. of a conference on Functional programming languages and computer architecture, p.257-277, October 1987, Portland, Oregon, United States
• 12: N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud. The synchronous dataflow programming language LUSTRE. Proceedings of the IEEE, 79(9):1305-1320, 1991.
• 13: Grégoire Hamon , Marc Pouzert, Modular resetting of synchronous data-flow programs, Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming, p.289-300, September 20-23, 2000, Montreal, Quebec, Canada [doi>10.1145/351268.351300]
• 14: T. A. Henzinger, The theory of hybrid automata, Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science, p.278, July 27-30, 1996
• 15: Paul Hudak, The Haskell school of expression: learning functional programming through multimedia, Cambridge University Press, New York, NY, 2000
• 16: John Hughes, Generalising monads to arrows, Science of Computer Programming, v.37 n.1-3, p.67-111, May 2000 [doi>10.1016/S0167-6423(99)00023-4]
• 17: Modelica - a unified object-oriented language for physical systems modeling: Language specification version 1.4. The Modelica Association, http://www.modelica.org, December 2000.
• 18: Ross Paterson, A new notation for arrows, Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, September 03-05, 2001, Florence, Italy
• 19: Izzet Pembeci , Henrik Nilsson , Gregory Hager, Functional reactive robotics: an exercise in principled integration of domain-specific languages, Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.168-179, October 06-08, 2002, Pittsburgh, PA, USA [doi>10.1145/571157.571174]
• 20: John Peterson , Paul Hudak , Conal Elliott, Lambda in Motion: Controlling Robots with Haskell, Proceedings of the First International Workshop on Practical Aspects of Declarative Languages, p.91-105, January 18-19, 1999
• 21: John Peterson , Paul Hudak , Alastair Reid , Gregory D. Hager, FVision: A Declarative Language for Visual Tracking, Proceedings of the Third International Symposium on Practical Aspects of Declarative Languages, p.304-321, March 11-12, 2001
• 22: Marc Pouzet, Paul Caspi, Pascal Couq, and Grégoire Hamon. Lucid Synchrone v2.0 - tutorial and reference manual. http://www-spi.lip6.fr/lucid-synchrone/lucid_synchrone_2.0_manual.ps, April 2001.
• 23: Meurig Sage, FranTk - a declarative GUI language for Haskell, Proceedings of the fifth ACM SIGPLAN international conference on Functional programming, p.106-117, September 2000
• 24: Using Simulink version 4. The MathWorks, Inc., http://www.mathworks.com, June 2001.
• 25: Zhanyong Wan , Paul Hudak, Functional reactive programming from first principles, Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation, p.242-252, June 18-21, 2000, Vancouver, British Columbia, Canada
• 26: Zhanyong Wan , Walid Taha , Paul Hudak, Real-time FRP, Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, September 03-05, 2001, Florence, Italy
• 27: Zhanyong Wan , Walid Taha , Paul Hudak, Event-Driven FRP, Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages, p.155-172, January 19-20, 2002

INDEX TERMS

General Terms:
Languages

Keywords:
FRP, Haskell, domain-specific languages, functional programming, hybrid modeling, synchronous dataflow languages