Choreographic programming is a paradigm for writing distributed applications. It allows programmers to write a single program, called a choreography, that defines the actors involved and how they should work together. Through endpoint projection, such a choreography can be translated into a separate program for each actor.

Chorex deals with some problems of traditional choreographic languages, for example the ability to tolerate runtime crashes of an actor.

Read the paper on Chorex. Try out their examples and write your own. Find out the benefits, and shortcomings compared to traditional choreographic languages (like Choral).