Programming paper: We built Chorex, a language that brings choreographic programming to Elixir as a path toward robust distributed applications. Chorex is unique among choreographic languages because it tolerates failure among actors: when an actor crashes, Chorex spawns a new process, restores state using a checkp...

Programming Journal's publication is a resource for developers seeking to expand their knowledge and skills in software development. Through articles, tutorials, and coding challenges, Programming Journal offers insights into programming languages, algorithms, and data structures. Readers can learn about best practices in software engineering, problem-solving techniques, and coding interview preparation to excel in their careers as developers.

The Programming Journal

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.

Chorex: Restartable, Language-Integrated Choreographies