03:13 tbrowder left 03:18 tbrowder joined
masak I just had a realization about Location 10:24
if we're serious about "they don't survive to runtime" then their function is much simplified; it becomes a must-collapse intermediate form. specifically, locations need no actual runtime semantics, except perhaps conceptually 10:27
that is, they become a "just barely first-class setf mechanism" - a volatile way to express what value-centered expressions can't 10:29
in effect, no Location object ever needs to be actually created 10:30
the analogy is pretty strong with unquotes, which are also a "preternatural escape mechanism" in order to achieve something otherwise hard or impossible 10:45
13:49 lucasb joined 21:33 lucasb left