The Beauty and Elegance of Functional Reactive Animation
It has been over 20 years since Elliott and Hudak published Functional Reactive Animation, which outlined the principles of interactive programming in functional languages. As a result, Functional Reactive Programming (FRP) has seen numerous implementations and has been applied to multiple areas, like robotics, physics simulations, game programming and user interfaces. The use of the term FRP has itself broadened, and nowadays covers both continuous-time purely functional abstractions and discrete-time reactive implementations. This paper presents a series of increasingly complex FRP animations in a current implementation. With a main focus on clarity and meaning, we explore three independent dimensions: space, time, and color. We demonstrate that, when embraced fully, Functional Programming can result in declarative constructs that are aesthetically beautiful and notationally elegant.
Sr. Research Scientist @ KBR / NASA Ames Research Center
Past: IMDEA Software, Keera Studios, HLRS Stuttgart, University of Nottingham, University of Twente, Polytecnic University of Madrid (UPM).
Fri 8 SepDisplayed time zone: Pacific Time (US & Canada) change
09:00 - 10:30 | FARM Session 1FARM at Vashon 2 Chair(s): John Leo Halfaya Research, Mae Milano University of California at Berkeley | ||
09:00 30mTalk | Weighted Refinement Types for Counterpoint CompositionRecorded FARM Youyou Cong Tokyo Institute of Technology DOI | ||
09:30 30mTalk | The Beauty and Elegance of Functional Reactive Animation FARM Ivan Perez NASA Ames Research Center DOI | ||
10:00 30mTalk | Demo: A functional EDSL for mathematics visualization that compiles to JavaScriptRecorded FARM Allister Beharry University of London DOI Pre-print Media Attached |