David Harel, the creator of statecharts, also developed the Behavioral Programming [0] 'b-thread' model motivated by a similar vision for append-only programmin

David Harel, the creator of statecharts, also developed the Behavioral Programming [0] 'b-thread' model motivated by a similar vision for append-only programming - it has been discussed on HN previously e.g. https://news.ycombinator.com/item?id=42060215 https://news.ycombinator.com/item?id=42060215 [0] https://cacm.acm.org/research/behavioral-programming/ https://cacm.acm.org/research/behavioral-programming/