Functional Programming with Typed Holes[0] I don't know if it's exactly what you want, but this team is working on making a language and compiler capable of "f

Functional Programming with Typed Holes[0] I don't know if it's exactly what you want, but this team is working on making a language and compiler capable of "filling in the gaps" on syntax errors. I.e. it can provide completion suggestions and allow you to explore the consequences of those suggestions, by propogating them through the whole program. The link below has pretty extensive coverage of this idea, with a paper and youtube video. [0]:https://popl19.sigplan.org/event/popl-2019-research-papers-live-functional-programming-with-typed-holes https://popl19.sigplan.org/event/popl-2019-research-papers-l...