Yeah, I’ve been recently pondering the implications of type directed metaprogramming + structured editing, and it makes my head explode! No idea how to render a program once your types break 😬
Like, I’d like a fancy interactive literal, but it seems like bad UX to explode and dump out an s-expression if somebody upstream updates the underlying library, and there’s no way to help migrate. 🤔