supervised-state-machines Posted on Feb 13, 2023 An experimental implementation of Erlang/OTP’s gen_server and supervisor behaviours that doesn’t use lightweight threads and message passing. Motivation What exactly is it that makes Erlang suitable for writing reliable distributed systems? I’ve previously argued that it’s Erlang’s behaviours rather than its lightweight processes and message passing. Behaviours can be thought of as generic building blocks for building reliable distrib...