If you're interested in the work that led to this, definitely check out Kenichi Asai's reflective languages. The code for his Black language with reflective sem

If you're interested in the work that led to this, definitely check out Kenichi Asai's reflective languages. The code for his Black language with reflective semantics is reproduced here: [0] More tangential but also cool: this talk[1] by William Byrd mentions reflective towers, but jumps into a discussion of what he terms "relational programming". It's a demo of his Barliman Smart editor system: [2] [0] https://github.com/readevalprintlove/black https://github.com/readevalprintlove/black [1] https://www.youtube.com/watch?v=OyfBQmvr2Hc https://www.youtube.com/watch?v=OyfBQmvr2Hc [2] https://github.com/webyrd/Barliman https://github.com/webyrd/Barliman