Hi Alan, what do you think of the Unison project? [1]

On the surface it's a structured editor for a type safe language in which it's impossible to write an invalid program, but the author has some pretty lofty goals for it.

[1] http://unisonweb.org/2015-05-07/about.html