The Yampa arcade

ABSTRACT

Simulated worlds are a common (and highly lucrative) application domain that stretches from detailed simulation of physical systems to elaborate video game fantasies. We believe that Functional Reactive Programming (FRP) provides just the right level of functionality to develop simulated worlds in a concise, clear and modular way. We demonstrate the use of FRP in this domain by presenting an implementation of the classic "Space Invaders" game in Yampa, our most recent Haskell-embedded incarnation of FRP.

REFERENCES

• 1: Peter Achten , Marinus J. Plasmeijer, Interactive Functional Objects in Clean, Selected Papers from the 9th International Workshop on Implementation of Functional Languages, p.304-321, September 10-12, 1997
• 2: Magnus Carlsson and Thomas Hallgren. Fudgets -- Purely Functional Processes with Applications to Graphical User Interfaces PhD thesis, Department of Computing Science, Chalmers University of Technology, 1998.
• 3: Antony Courtney. Functionally modeled user interfaces. In Proceedings DSV-IS 2003, Eurographics Workshop on Design, Specification and Verification of Interactive Systems 2003.
• 4: Antony Courtney and Conal Elliott. Genuinely functional user interfaces. In Proceedings of the 2001 ACM SIGPLAN Haskell Workshop Firenze, Italy, September 2001.
• 5: Conal Elliott. Functional implementations of continuous modelled animation. In Proceedings of PLILP/ALP '98 Springer-Verlag, 1998.
• 6: Conal Elliott, An Embedded Modeling Language Approach to Interactive 3D and Multimedia Animation, IEEE Transactions on Software Engineering, v.25 n.3, p.291-308, May 1999 [doi>10.1109/32.798320]
• 7: 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
• 8: Paul Hudak, The Haskell school of expression: learning functional programming through multimedia, Cambridge University Press, New York, NY, 2000
• 9: Paul Hudak, Antony Courtney, Henrik Nilsson, and John Peterson. Arrows, robots, and functional reactive programming. In Johan Jeuring and Simon Peyton Jones, editors, Advanced Functional Programming, 4th International School 2002 volume 2638 of Lecture Notes in Computer Science pages 159--187. Springer-Verlag, 2003.
• 10: 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]
• 11: Christoph Luth. Haskell in space. In Simon Thompson Michael Hanus, Shriram Krishnamurthi, editor, Functional and Declarative Programming in Education (FDPE 2002) pages 67--74. Technischer Bereicht 0210, Institut f ur Informatik und Praktische Mathematik, Christian-Albrechts-Universitat Kiel, September 2002.
• 12: Henrik Nilsson, Functional automatic differentiation with dirac impulses, Proceedings of the eighth ACM SIGPLAN international conference on Functional programming, p.153-164, August 25-29, 2003, Uppsala, Sweden
• 13: Henrik Nilsson , Antony Courtney , John Peterson, Functional reactive programming, continued, Proceedings of the 2002 ACM SIGPLAN workshop on Haskell, p.51-64, October 03, 2002, Pittsburgh, Pennsylvania [doi>10.1145/581690.581695]
• 14: Ross Paterson, A new notation for arrows, Proceedings of the sixth ACM SIGPLAN international conference on Functional programming, September 03-05, 2001, Florence, Italy
• 15: George Russell. Email message, subject: Fruit &co, February 2003.Message posted on the Haskell GUI mailing list, available at http://www.haskell.org/pipermail/gui/2003-February/000140.html
• 16: 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
• 17: S. Smetsers, E. Barendsen, M.v. Eekelen, and R. Plasmeijer. Guaranteeing safe destructive updates through a type system with uniqueness information for graphs. Lecture Notes in Computer Science 776, 1994.
• 18: 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

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications
          Subjects: Applicative (functional) languages

Additional Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications
          Subjects: Data-flow languages

  I. Computing Methodologies
  I.6 SIMULATION AND MODELING
      I.6.2 Simulation Languages
      I.6.8 Types of Simulation
          Subjects: Discrete event; Continuous

General Terms:
Languages

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