Loading...
Please wait, while we are loading the content...
Similar Documents
Arrows, Robots, and Functional Reactive Programming (2003)
| Content Provider | CiteSeerX |
|---|---|
| Author | Peterson, John Hudak, Paul Courtney, Antony Nilsson, Henrik |
| Abstract | Abstract. Functional reactive programming, or FRP, is a paradigm for programming hybrid systems – i.e., systems containing a combination of both continuous and discrete components – in a high-level, declarative way. The key ideas in FRP are its notions of continuous, time-varying values, and time-ordered sequences of discrete events. Yampa is an instantiation of FRP as a domain-specific language embedded in Haskell. This paper describes Yampa in detail, and shows how it can be used to program a particular kind of hybrid system: a mobile robot. Because performance is critical in robotic programming, Yampa uses arrows (a generalization of monads) to create a disciplined style of programming with time-varying values that helps ensure that common kinds of time- and space-leaks do not occur. No previous experience with robots is expected of the reader, although a basic understanding of physics and calculus is assumed. No knowledge of arrows is required either, although we assume a good working knowledge of Haskell. This paper is dedicated in memory of |
| File Format | |
| Journal | Advanced Functional Programming, 4th International School, volume 2638 of LNCS |
| Publisher Date | 2003-01-01 |
| Access Restriction | Open |
| Subject Keyword | Robotic Programming Functional Reactive Programming Good Working Knowledge Declarative Way Time-ordered Sequence Common Kind Discrete Component Time-varying Value Disciplined Style |
| Content Type | Text |
| Resource Type | Article |
