HasChor
HasChor copied to clipboard
gshen42
Functional choreographic programming in Haskell
We need a better (de)serialization method than `Show` and `Read`. Some questions to consider: - What format to use? (Plain String? JSON? CBOR?) - Use an existing library or write...
Currently, HasChor projects a conditional to a broadcast at the sender side, which can be inefficient in certain cases. An efficient way to project conditionals, from the literature, is [merging](https://www.cambridge.org/core/books/introduction-to-choreographies/conditionals-and-knowledge-of-choice/13EF022BCB7D1778AA8E788EB62ABF13)....
The idea is proposed by Arnaud Spiwack at ICFP 2023. The idea is to define located values as `type a @ l = (Unwrap l) => a` where `Unwrap` is...
After seeing the ICFP presentation on `HasChor`, I thought it might be nice to discuss it in the upcoming [Unfolder](https://www.youtube.com/playlist?list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7) episode (coming Wednesday). ## Motivation As an example, I wanted...
