Manipulating GUI Structures Declaratively

on YouTube ↗28m

" summary

A DSL called Warframe lets programmers declare incidental GUI structures as relations with test and establish methods and then auto-generates an API that generates JavaScript functions to perform structural edits (insert, swap, remove). The implementation targets constraint-component UIs (example: an agenda of talks) and handles four swap cases via multicase rules choose appropriate case, supports parameterized rules to reuse operations across different structures, and ships an Xtext IDE that validates types and emits runnable JS for the browser.

AI-written summary · about

" chapters (14)

1. 0:00Start
2. 3:59Graphics editing software by a major vendor
3. 6:10Complexity of event handling code
4. 7:18Multi-way dataflow constraint systems (MDCS)
5. 8:35Conference planner application
6. 9:48MDCS specification of the conference planner
7. 12:55Structure specification
8. 13:35"Connecting" components
9. 14:58"Rewiring" connections between components
10. 18:49Multi-case rules
11. 20:29GUI for conference planner with several days
12. 21:35Instantiating parameterized rules
13. 22:02WarmDrink IDE
14. 22:54Validating rule specifications

" related talks

• 15mManipulating GUI Structures DeclarativelyJaakko Järvi, Mikhail Barash, Knut Anders Stokke · GPCE 2020
• 27mOperationalizing the Integration of User Interaction Specifications in Modeling Editor SynthesisVasco Sousa, Eugene Syriani, Khady Fall · SLE 2019
• 18mDiagramming Program Values by Spatial RefinementShriram Krishnamurthi, Tim Nelson, Siddhartha Prasad, Michael Tu, Karan Kashyap · PLDI 2026
• 41mC4 Models as CodeSimon Brown · YOW! Melbourne 2022
• 25mCode is a User InterfaceJustin Falcone · React Rally 2019
• 39mRetaking Rules for DevelopersRyan Brush · Strange Loop 2014
• 35mHow to Create Scripting Tools That Designers LoveBradley Redfern · Unreal Fest 2022
• 29mIntegrating Language Engineering into the Software Development ProcessJohannes Meier · EclipseCon 2023