Formal reasoning about states / behavior provides insane leverage for designing products.
It shouldn't be reserved only for expert symbol manipulators.
So @ryanlucas, @wootbeep, and I made an interactive playground + tutorial series: http://sketch.systems .
-
-
That seems like an unnecessarily aggressive response, and a bit of a red herring to someone who's thought about these issues a LOT, but thanks for replying and I certainly wish you well.
-
My apologies --- I was trying to explain our design choices, not make a value judgement or dismiss your question. Our tool doesn't model data or check invariants because *we* don't know how to implement and explain those (useful!) features without compromising accessibility.
-
That's fair. I struggle with those questions too. I hope some day you do figure it out: I worry that without it people will ask whether the effort was worth the payoff. A little magic (like a state explorer) probably goes a long way... Good luck.
End of conversation
New conversation -
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.