@blabaere @lindsey that is a really nice way to talk about distributed systems. I had not heard about #ChoreographicProgramming before. Good introduction.
#choreographicprogramming
🌐 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
🌟 You listen to Software Unscripted and suddenly both #ChoreographicProgramming and #Jolie get mentioned!
💡 Did you know? The first choreographic programming language actually compiled to Jolie, because Jolie's primitives made the implementation much simpler.
HT Saverio Giallorenzo
Link to podcast: https://pod.link/1602572955/episode/12fe9e0c14dab3b5e9780ffc13412136
Distributed programming consists of 50% messaging, 50% internal computations at participants, and 50% figuring out how the heck you're gonna deal with errors and failures.
📈🚄 Get safety *and* performance with non-blocking #ChoreographicProgramming! Big performance improvements for free! Tested on a real cluster! This and more in our just accepted ECOOP'24 paper w/ Dan Plyukhin and Marco Peressotti!
Get the preprint at https://www.fabriziomontesi.com/files/ppm24.pdf
💭 Choreographic Programming 2024 at PLDI has been nothing short of fantastic. :-) A bliki entry to remember the tough questions and the importance of international events to bolster research communities.
Thank you so much @lindsey, Marco, and Saverio for creating the event and organising it so very well!!
https://www.fabriziomontesi.com/bliki/ChoreographicProgramming2024
Clojure ❤️ Choreographic Programming: go learn something entirely new at the Heart of Clojure conference this year. Choreographic Programming is in the house w/ the brilliant work on Klor presented by Lovro Lugović and Sung-Shik Jongmans! If you were waiting for a LISP language to try choreographic programming, you've just run out of excuses. 😀
https://2024.heartofclojure.eu/talks/klor-choreographic-programming-in-clojure/
Thanks to the excellent @lindsey, Marco Peressotti, and Saverio Giallorenzo for organising this!
🤩🗣️ Really excited to announce that I'll be giving a keynote at Choreographic Programming (CP) 2024, an event colocated with PLDI. Here's what to expect from my talk, which is aimed at all PL enthusiasts and choreography lovers. 👇🧵
I hope to see many of you there!
Can #ChoreographicProgramming be used for real software? Do we get better code? Does it perform well? Is it interoperable with previous approaches and existing code?
Yes, yes, yes, and yes in our new
Programming Journal article w/ L. Lugović: https://doi.org/10.22152/programming-journal.org/2024/8/8
A 🧵.
Attending ECOOP'23? Do you like the lambda-calculus, distributed systems, and compilers? Don't miss Eva Graversen's talk on modular compilation for higher-order choreographies and types for agreement!
📃 New Bliki page: Choreographic Programming. Includes a list of currently available implementations and mechanised theories (which I'll try to keep up to date). Link: https://www.fabriziomontesi.com/bliki/ChoreographicProgramming
#itc #choreographicprogramming #programming #concurrency #compsci
Client Info
Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst