Livelits: Filling Typed Holes with Live GUIs
summary
Introduces live literals that let a GUI fill typed holes and expand to code via an explicit expand function; implemented in the Hazel editor using a Model–View–Update style where only the GUI model is persisted (not the view or expansion), enabling persistence, compositionality (GUI can contain expression holes and nested livelits), and live evaluation with closures. Prior Graphite work (Eclipse) informed design; online survey ≈450 respondents and a small pilot N=7 show practical interest; formalization is ongoing in Agda.
AI-written summary · about
chapters (13)
- 0:00Introduction
- 3:56Red X Helper Palette
- 4:52Design Methodology
- 6:48Use Cases
- 7:28Limitations
- 8:24Persistence
- 9:06Livelits
- 11:14MyFuse
- 11:57Compositionality
- 14:36Live programming
- 16:26Live grading
- 17:30Progress report
- 18:26Outro
related talks
27mReclaiming the Unexplored in Hybrid Visual Programming
58mParens of the Dead: Live pair programming and zombies
04mLightning Talk: Elixir, MIDI and LiveView
43mLive coding an Escher painting using Scenic
11mExploratory Design Tools for Makers
31mMakepad - Rethinking Web UI's with WebGL
41mBuilding a Graphical IDE in Elm/Purescript
27m„Das Lebendige verbirgt sich gerne“ Heraklit - The 7 Elements of Vividness