A long time ago, I wrote a compiler from a curly-brace encoding of Statecharts, to Java. More recently, I avoided some early SwiftUI bugs by modeling some of t

A long time ago, I wrote a compiler from a curly-brace encoding of Statecharts, to Java. More recently, I avoided some early SwiftUI bugs by modeling some of the iOS app interaction using Statecharts, in an ASCII art comment in the code, and implementing that.