Beyond structural editing: semantic editing! https://reasonablypolymorphic.com/blog/towards-tactics/index.html
(Uses Coq-style tactics.)
miniblog.
Related Posts
Excellent discussion of how REPL programming enables you to write code incrementally, going beyond what you can do with e.g. ipython or ghci.
Apparently there's a separate linux kernel flavour (beyond the usual vanilla, LTS, hardened) just for personal computers! https://liquorix.net/
Looks like it's developed on GitHub and tuned for interactive usage.
Great, thoughtful discussion about the direction Racket wants go in. The reasoning is given and broader language goals are shared, way beyond syntax.