Nope. At least my annual efforts to dig into that direction always fail. It seems, that there is something: literal programming, html-based prolog posted here recently (someone please help to recall its name). But it is not exactly that. And it always contains esoterics under the hood. I want C, C++, Perl, Java, anything mainstream; not Prolog.

I'm too busy and too single to make prototype on my own (and more related ideas on top of that in thoughts.txt). I've posted this in forum comments for years, and sometimes got critics that made me temporarily think it is just another view on existing techniques (as of company-wide, not person-wide). Now I run the company and this got only more demand.

Honestly, maybe I'm just doing existing things wrong, idk.

Closest aspects I saw that touch this idea:

- automatic refactors in Java IDEs, especially "rename" - they understand what you mean by "this variable" or "this function", at least most of the time

- Paredit mode in Emacs, for working with Lisp code; if you learn it, you start feeling you're actually working with a tree, and not its textual representation

Charles Simonyi has been trying for over 20 years

https://www.microsoft.com/en-us/research/publication/the-dea...

http://www.intentsoft.com/us/ <-- in "stealth mode" for 10 years!