Comment by hprotagonist

https://hazel.org has been on this beat for some time as well, and have the proofs to back it up.

Hazel is a live functional programming environment that is able to typecheck, manipulate, and even run incomplete programs, i.e. programs with holes. There are no meaningless editor states.