🌐 Our article on Choreography-Defined Networks is gonna appear at ICSOC'24! It's a novel application of #ChoreographicProgramming to programmable networking (software-defined networks), developed with S. Giallorenzo, J. Mauro, A. Melis, M. Peressotti, and M. Prandini. The aim is to marry simplicity, efficiency, and safety for decentralised virtual network functions.
Find a summary and preprint at https://www.fabriziomontesi.com/bliki/ChoreographyDefinedNetwork
🚀 Project Chords has taken off! We have started an ambitious research initiative to investigate theory and practice of the paradigm of Choreographic Programming on an unprecedented scale, with the aim of making the development of connected digital systems more effective, transparent, and safe.
We will be posting updates and resources on the website https://www.chords.dev
Stay tuned for our progress!
Released UniChorn - functional choreographic programming library in Unison.
It's a port of HasChor, similar library in Haskell.
📣 Postdoc job alert! Wanna work on programming languages for a climate-friendly future? The GAIA programme at our university has just opened 15 2y fellowships. Contact me if interested. Possible topics: #choreographicprogramming, types, #microservices.
Great video by Dan Plyukhin on our upcoming ECOOP work for safe asynchronous protocol implementations through choreographies!
#ChoreographicProgramming
w/ Marco Peressotti
🌠 Some people get book reviews on Amazon. I get street cred on GitHub! 😄 Amazing to see that the Introduction to Choreographies book is helping people with building new tools!! Thank you for the kind mentions. (Links below. 👇)
Very nice paper on compilation for #ChoreographicProgramming in #Haskell using the HasChor DSL and rewriting rules. Brings 'choreographic programming as a library' one step nearer to dedicated choreographic programming languages like Choral!
https://www.krook.dev/papers/partitioningHaskell2024.pdf
HT @lindsey
Why choreographic programming, you say? Because who wants to understand the control flow in the left image, when you can just look at the right image!
(Context coming one day to a paper near you.)
🎙️ I had great fun as the guest in the latest Type Theory Forall podcast episode! We talked about #ChoreographicProgramming, how I started in #opensource, #microservices, session types, linear logic, the origins of the Jolie programming language, and more.
You can listen to it at https://www.typetheoryforall.com/episodes/distribuited-systems-microservices-and-choreographies
Willem Van den Ende - Writing
Fabrizio Montesi ⬣ A➔B
Kaushik Chakraborty
