Text editing is powerful, but entering text is often not the most natural way to construct certain types of expressions, such as those encoding colors, animations, musical sequences, tabular data, plots, widgets, graphs, and various other data structures. We introduce live literals, or livelits, which allow the programmer to fill holes of such types by directly manipulating a graphical user interface. Livelits are compositional: this GUI can itself contain typed holes that the programmer can fill with expressions that might contain other livelits. Livelits are also live: they can provide immediate feedback about the dynamic implications of the programmer’s choices, even when the subexpressions mention bound variables, because the livelit is given access to closures associated with the hole that the livelit is tasked with filling. We are implementing livelits within Hazel, a live functional programming environment that assigns meaning to every edit state.
Sun 18 Aug Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
09:00 - 10:20: Interaction and ApplicationsTyDe at Aurora Borealis Chair(s): Jeremy GibbonsDepartment of Computer Science, University of Oxford | |||
09:00 - 09:20 Talk | Flexible Structure Editing of Well-Typed Expressions TyDe Pre-print | ||
09:20 - 09:40 Talk | Livelits: Filling Typed Holes with Live GUIs TyDe Cyrus OmarUniversity of Chicago, Nick CollinsUniversity of Chicago, David Moon, Ian VoyseyCarnegie Mellon University, Ravi ChughUniversity of Chicago Pre-print | ||
09:40 - 10:00 Talk | Formal Investigation of the Extended UTxO Model TyDe Orestis MelkonianUtrecht University, Wouter SwierstraUtrecht University, Netherlands, Manuel ChakravartyTweag I/O & IOHK Pre-print | ||
10:00 - 10:20 Talk | An Algebra of Sequential Decision Problems TyDe Pre-print |