You can now export http://Sketch.systems statecharts as JSON (for @davidkpiano's xstate) or EDN (for @nikitonsky's DataScript), so you can compute freely.
Here's a 12m demo of querying a statechart w/ datalog and then visualizing w/ GraphViz: https://player.vimeo.com/video/276059082
-
-
Have you read http://db.cs.berkeley.edu/papers/sigrec10-declimperative.pdf … and the many datalog projects it references? Lots of recent lit on modeling state machines with datalog. I could imagine using Sketch and something like Allow to teach distributed algorithms using state machines.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.