‹Programming› 2019
Mon 1 - Thu 4 April 2019 Genoa, Italy
Thu 4 Apr 2019 14:30 - 15:00 at Paganini - Language Design and Reactivity Chair(s): Guido Salvaneschi

The World model is an existing functional input-output mechanism for event-driven programming. It is used in numerous popular textbooks and curricular settings.

The World model conflates two different tasks–the definition of an event processor and its execution–into one. This conflation imposes a significant (even unacceptable) burden on student users in several educational settings where we have tried to use it, e.g., for teaching physics.

While it was tempting to pile on features to address these issues, we instead used the Scheme language design dictum of removing weaknesses that made them seem necessary. By separating the two tasks above, we arrived at a slightly different primitive, the reactor, as our basis. This only defines the event processor, and a variety of execution operators dictate how it runs.

The new design enables programmatic control over event-driven programs. This simplifies reflecting on program behavior, and eliminates many unnecessary curricular dependencies imposed by the old design. This work has been implemented in the Pyret programming language. The separation of concerns has enabled new curricula, such as the Bootstrap:Physics curriculum, to take flight. Thousands of students use this new mechanism every year. We believe that reducing impedance mismatches improves their educational experience.

Thu 4 Apr

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
Language Design and ReactivityResearch Papers at Paganini
Chair(s): Guido Salvaneschi TU Darmstadt
14:00
30m
Talk
Distributed Reactive Programming for Reactive Distributed Systems
Research Papers
Florian Myter Vrije Universiteit Brussel, Belgium, Christophe Scholliers Universiteit Gent, Belgium, Wolfgang De Meuter Vrije Universiteit Brussel
Link to publication DOI Pre-print
14:30
30m
Talk
Event Loops as First-Class Values: A Case Study in Pedagogic Language Design
Research Papers
Joe Gibbs Politz University of California San Diego, United States, Benjamin Lerner Northeastern University, United States, Sorawee Porncharoenwase Brown University, United States, Shriram Krishnamurthi Brown University, United States
Link to publication DOI Pre-print
15:00
30m
Talk
ParaSail: A Pointer-Free Pervasively-Parallel Language for Irregular Computations
Research Papers
Tucker Taft AdaCore, United States
Link to publication DOI Pre-print