In this sequence of posts I’m going to try to summarize the state of research into Choreographic Programming (CP), it’s recent past, status quo, and what I anticipate happening soon. I’m assuming any readers already have a basic sense of what CP is; if not, I’d suggest readers familiar with Haskell to start with the HasChor paper [1] and other readers to start with Choral [2].
The vibe among people who’ve been working on choreographic programming (CP) is that CP is about to become a mainstream way of writing concurrent systems. I think there’s a sense in which that’s true, and I also think the situation could be much improved. In preparation for describing my own research plans for the next year, I figured I should summarize my understanding of recent history. There’s inherent risk in writing any such thing: I’m going to get it wrong and I’m going to omit important stuff. In fact, in this post, I’m only going to discuss six papers. Part two will summarize my notes from the recent CP workshop at PLDI 2024.
papers to talk about: 2017 12 communication failures 2020 05 choral 2021 11 pirouette 2021 11 chor-lambda 2023 04 polychorllambda 2023 08 haschor