Sketch.systems
Interesting product.<p>This would be useful for more systems than just graphical user interfaces and frontend development.<p>Backend systems, distributed systems, stateful protocols and microservices are complicated and hard to think about. Raft for example.<p>I am working on a state machine formulation that is text based and I have an idea which I think would prevent entire classes of bugs.<p>The idea is that we can see the state machine as a graph and check reachability of states between state machines. If the code literally never fires the event that would cause the reachability of the next state, that's a bug.<p>The number of times I've been writing some code that uses threads or distributed systems and there is absence of behaviour, it's tricky to debug absence of behaviour.<p>I've always wanted to "see the future" from my IDE to see what state my code puts everything in.<p>One of my ideas is the idea of value flow tracing to detect steady state systems, systems that always make forward progress.