Great post, thank you! I have been thinking about this for Solidity, chatting with Andy Tudhope has reinvigorated my curiosity. Smart contract characteristics of openness, modularity, the need for clarity and the ability to link to other smart contracts creating “open source network effects” leads me to believe that a “visual” programming language like Baggage is needed.
Bret Victor does a great job of explaining the core principle : https://vimeo.com/36579366
Some great visual programming languages :