Chorex introduces choreographic programming to Elixir for building fault-tolerant distributed applications. Unlike existing choreographic languages, it handles actor failures by automatically spawning replacement processes, restoring state from checkpoints, and updating network configurations. Implemented through metaprogramming, Chorex provides tight host language integration with static error reporting in source code terms. The system demonstrates a projection strategy using stateless functions that could enable restartable actors in other languages.
Table of contents
Abstract361 Impressions