I like the idea of visual programming for the same reason I like the idea of my compiler acting as a theorem prover. However, my sense is that both visual progr

I like the idea of visual programming for the same reason I like the idea of my compiler acting as a theorem prover. However, my sense is that both visual programming and formal systems run into the same problem, in that the space of possibilities, the space that needs to be expressed visually, explodes combinatorially, and so we find that the process of working in a visual environment is necessarily less expressive, always a bit behind what can be said by just writing it out in a program. That's why we do our best with compilers and type systems, but still have to write tests.