虽然不是一本新书，但 Ian Horrocks 的《Constructing the User Interface with Statecharts》（1999 年）属于那种技术书籍：它把一个想法讲得极其清晰，又与我平时的做法大相径庭，看得我跃跃欲试。该书的核心论点在于 statecharts（状态图）……
Not a recent book, but Ian Horrocks’ “Constructing the User Interface with Statecharts” (1999) is one of those technical books which presents an idea so clearly but also so different from my usual work that I’m just itching to try it. The essential thesis of the book is that statecharts…
……推演起来容易太多了！但遗憾的是，不知出于什么原因，它后来似乎失去了势头。如果你是第一次听说 Statecharts，我强烈推荐 Ian Horrocks 写的《Constructing the user interface with statecharts》这本书（https://archive.org/details/isbn_9780201342789/mode/2up），虽然确实是 1999 年的老书了，但它可能是教你如何实际应用和操作 Statecharts 的最佳入门书。
…so much easier to reason about! However, seems the traction eventually disappeared for unknown reasons, sadly. If this is the first time you're hearing about Statecharts, I highly recommend the book "Constructing the user interface with statecharts" by Ian Horrucks (https://archive.org/details/isbn_9780201342789/mode/2up) which yes, is from 1999, but probably the best introduction for how to actually apply and use Statecharts.
……值得一读的资料包括：+ David Harel 关于 statecharts 形式化表述的原始论文（Sketch.systems 正是实现了这一套）：http://www.inf.ed.ac.uk/teaching/courses/seoc/2005_2006/reso... + Ian Horrocks 的《Constructing the User Interface with Statecharts》一书：https://amzn.to/2sT1e4x 另外值得指出的是，Sketch.systems 并不做任何形式化分析或不变量检查。如果你对这方面感兴趣，可以看看 TLA+……
…want to check out are: + David Harel's original paper on the statecharts formalism (which Sketch.systems implements): http://www.inf.ed.ac.uk/teaching/courses/seoc/2005_2006/reso... + Ian Horrock's "Constructing the User Interface with Statecharts" book: https://amzn.to/2sT1e4x It's also worth noting that Sketch.systems doesn't do any kind of formal analysis or checking of invariants. If you're interested in that sort of thing, look into TLA+…
GUI 本质上就是一个巨大的状态机。追踪所有这些状态非常繁琐。我见过最好的表示法就是状态图（state charts），正如 Ian Horrocks 在《Constructing the User Interface with Statecharts》中所描述的那样。但这依然是个巨大的工程。结果就是，我见过的所有人最后都退而求其次采用那 80% 的凑合方案：直接写代码而不去追踪状态，然后像打地鼠一样疲于奔命地去修一致性 bug。
GUIs are one giant state machine. Tracking all those states is unwieldy. The best notation I've seen is state charts, as described by Ian Horrock in Constructing the User Interface with Statecharts. Still, it's a ton of work. As a result, everyone I've ever seen just resorts to the 80% solution of coding it up without tracking the states and then playing whack-a-mole trying to make it consistent.
……这是我在 HN 上第几次看到有人提出用 statecharts 来实现 UI 了。多年前曾有一本围绕这个思路的书，但在这本书变得极其稀缺之前我没能弄到一本。《Constructing the User Interface with Statecharts》https://www.amazon.com/Constructing-User-Interface-Statechar... 我一直很好奇 statecharts 是否是一个足够强大的抽象层，能处理我需要的一切，想多读点关于……
…times I've seen someone on HN bring up the idea of using statecharts for UI implementation. Many years ago there was a book around this idea, but I wasn't able to get a copy before it became very rare. "Constructing the User Interface with Statecharts" https://www.amazon.com/Constructing-User-Interface-Statechar... I've always wondered if statcharts were a powerful enough abstraction to handle everything I needed, and would like to read more about…
虽然不是一本新书，但 Ian Horrocks 的《Constructing the User Interface with Statecharts》（1999 年）属于那种技术书籍：它把一个想法讲得极其清晰，又与我平时的做法大相径庭，看得我跃跃欲试。该书的核心论点在于 statecharts（状态图）……
Not a recent book, but Ian Horrocks’ “Constructing the User Interface with Statecharts” (1999) is one of those technical books which presents an idea so clearly but also so different from my usual work that I’m just itching to try it. The essential thesis of the book is that statecharts…
……推演起来容易太多了！但遗憾的是，不知出于什么原因，它后来似乎失去了势头。如果你是第一次听说 Statecharts，我强烈推荐 Ian Horrocks 写的《Constructing the user interface with statecharts》这本书（https://archive.org/details/isbn_9780201342789/mode/2up），虽然确实是 1999 年的老书了，但它可能是教你如何实际应用和操作 Statecharts 的最佳入门书。
…so much easier to reason about! However, seems the traction eventually disappeared for unknown reasons, sadly. If this is the first time you're hearing about Statecharts, I highly recommend the book "Constructing the user interface with statecharts" by Ian Horrucks (https://archive.org/details/isbn_9780201342789/mode/2up) which yes, is from 1999, but probably the best introduction for how to actually apply and use Statecharts.
……值得一读的资料包括：+ David Harel 关于 statecharts 形式化表述的原始论文（Sketch.systems 正是实现了这一套）：http://www.inf.ed.ac.uk/teaching/courses/seoc/2005_2006/reso... + Ian Horrocks 的《Constructing the User Interface with Statecharts》一书：https://amzn.to/2sT1e4x 另外值得指出的是，Sketch.systems 并不做任何形式化分析或不变量检查。如果你对这方面感兴趣，可以看看 TLA+……
…want to check out are: + David Harel's original paper on the statecharts formalism (which Sketch.systems implements): http://www.inf.ed.ac.uk/teaching/courses/seoc/2005_2006/reso... + Ian Horrock's "Constructing the User Interface with Statecharts" book: https://amzn.to/2sT1e4x It's also worth noting that Sketch.systems doesn't do any kind of formal analysis or checking of invariants. If you're interested in that sort of thing, look into TLA+…
GUI 本质上就是一个巨大的状态机。追踪所有这些状态非常繁琐。我见过最好的表示法就是状态图（state charts），正如 Ian Horrocks 在《Constructing the User Interface with Statecharts》中所描述的那样。但这依然是个巨大的工程。结果就是，我见过的所有人最后都退而求其次采用那 80% 的凑合方案：直接写代码而不去追踪状态，然后像打地鼠一样疲于奔命地去修一致性 bug。
GUIs are one giant state machine. Tracking all those states is unwieldy. The best notation I've seen is state charts, as described by Ian Horrock in Constructing the User Interface with Statecharts. Still, it's a ton of work. As a result, everyone I've ever seen just resorts to the 80% solution of coding it up without tracking the states and then playing whack-a-mole trying to make it consistent.
……这是我在 HN 上第几次看到有人提出用 statecharts 来实现 UI 了。多年前曾有一本围绕这个思路的书，但在这本书变得极其稀缺之前我没能弄到一本。《Constructing the User Interface with Statecharts》https://www.amazon.com/Constructing-User-Interface-Statechar... 我一直很好奇 statecharts 是否是一个足够强大的抽象层，能处理我需要的一切，想多读点关于……
…times I've seen someone on HN bring up the idea of using statecharts for UI implementation. Many years ago there was a book around this idea, but I wasn't able to get a copy before it became very rare. "Constructing the User Interface with Statecharts" https://www.amazon.com/Constructing-User-Interface-Statechar... I've always wondered if statcharts were a powerful enough abstraction to handle everything I needed, and would like to read more about…