Actor programming is a concurrency model where independent entities called “actors” communicate by passing messages, found in languages such as Erlang and Elixir. Multiparty session types specify communication protocols among multiple participants, ensuring that all follow a shared protocol and ruling out errors like deadlocks or message mismatches at compile time. “Maty is the first actor language design supporting both static multiparty session typing and the full power of actors taking part in multiple sessions”

Read the paper on Maty (Speak Now). Try out their examples and write your own. Find out the benefits, and shortcomings the approach.