Virtual Meetup - Filling Typed Holes with Live GUIs

Hi Community,

I am happy to announce that this Thursday (the 16th of December), Cyrus Omar will hold the discussion about “Filling Typed Holes with Live GUIs”

Also, remember that we changed the link to join the Meetup!

Symbolic representations are powerful, but some types of expressions are more naturally represented and manipulated non-symbolically. Examples include expressions that compute colours, music, animations, tabular data, plots, diagrams, and other domain-specific data structures. This talk will introduce live literals, or livelits, which allow clients to fill holes of types like these by directly manipulating a user-defined GUI embedded persistently into code. Uniquely, livelits are compositional: a livelit GUI can itself embed spliced expressions, which are typed, lexically scoped, and can in turn embed other livelits. Livelits are also uniquely live: a livelit can provide continuous feedback about the run-time implications of the client’s choices even when splices mention bound variables.

Cyrus Omar is an Assistant Professor at the University of Michigan, where he leads the Future of Programming Lab (FP Lab).

And if you are thinking of proposing a talk, it is time to come forward. Just let me know by replying to this message.

How to connect

To avoid other security issues is now necessary to register for the meeting. The registration should be necessary just once and be valid for all the next meetings you will participate in. I understand it is a little extra effort, but it would avoid problems like the ones we encountered:

Registration for the Virtual Meetup

After registering, you will receive a confirmation email containing information about joining the meeting. It will also permit you to add it to your calendar.


It is hosted on Zoom at 6 PM GMT+1/CEST (you can use this link to figure out which time is in your timezone: Dateful Time Zone Converter).


P.S. We get a recurring question: “Are presentations recorded?”. The answer is not, and the reasons are explained here On recording Virtual Meetups - #7 by voelter

Here you can find the slides:
livelits-strumenta.pdf (932.4 KB)