Livelits: Filling Typed Holes with Live GUIs
We are integrating graphical and programmatic modes of interaction by developing language mechanisms that allow you to define type-specific user interfaces that generate code underneath, i.e. they serve as interactive graphical literal notation. See the livelits demo.