Front-end programming with invariants

[stefjoosten]

Ampersand is about programming with invariants, aka constraint-based programming. However, Ampersand rules apply to the back end only. As a front-end programmer used to JavaScript, DOMS, endpoint programming, and the like, I would like to extend this programming paradigm to my front-end programming efforts. This idea came up in a discussion with @bramjoosten recently. It calls for a curiosity-driven thought experiment. @Michiel-s can you reflect on this interesting question?