Hacker News Reader

Hey Dan, nice to run into you on the internet. How are you? :)

For those curious, there are a lot of neat ways to implement choreographic programming! Choral uses a custom compiler which gives it very powerful analysis techniques. Some are libraries and have to rely more strongly on host language features to work. My library uses macros to embed the language directly into Elixir which gets you a bit of the advantages of both: https://github.com/utahplt/chorex

The docs link for for Wyzer give a 404 for https://wyzer-lang.vercel.app/docs/overview/01_introduction/

It seems there are many projects trying to find idioms and languages to describe distributed concurrent logic without programming the data transport and synchronization.