ICFP 2023
Mon 4 - Sat 9 September 2023 Seattle, Washington, United States
Fri 8 Sep 2023 09:30 - 10:00 at Vashon 2 - FARM Session 1 Chair(s): John Leo, Mae Milano

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 Sep

Displayed 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
30m
Talk
Weighted Refinement Types for Counterpoint CompositionRecorded
FARM
Youyou Cong Tokyo Institute of Technology
DOI
09:30
30m
Talk
The Beauty and Elegance of Functional Reactive Animation
FARM
Ivan Perez NASA Ames Research Center
DOI
10:00
30m
Talk
Demo: A functional EDSL for mathematics visualization that compiles to JavaScriptRecorded
FARM
Allister Beharry University of London
DOI Pre-print Media Attached