gshen42 / HasChor

Functional choreographic programming in Haskell
https://gshen42.github.io/HasChor/
BSD 3-Clause "New" or "Revised" License
78 stars 13 forks source link

Merging for efficient conditionals #11

Open gshen42 opened 11 months ago

gshen42 commented 11 months ago

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. With merging, the user can also control how the knowledge of choice is propagated (rather than always from the location that owns the choice).