Like automatically editing code, e.g. you use a certain framework and you could issue commands like “add a POST endpoint with these or that parameters”.
But that’s just scratching the surface. The Rust, Haskell and OCaml communities seem to work on high level math problems of proving that your program cannot have this or that state which is super important in the age of so many software vulnerabilities.
But your question made me realize that I’ve only been accumulating impressions and not actually writing down the amazing innovative ideas (and libraries / language features in progress) that I’ve seen in the last year or so. I’ll do better on that and write each and every one of them the next time I stumble upon any.