ShapeOfMatter / MultiChor

Type-safe and efficient choreographies for Haskell, with multiply-located values, multi-cast, and location-set polymorphism.
Other
8 stars 0 forks source link

Get rid of `cond'` #18

Closed ShapeOfMatter closed 3 months ago

ShapeOfMatter commented 4 months ago

The cond' expression is a carryover from HasChor, and maintains their broadcast behavior. A lot of the examples are using it, so maybe we should just rename it so it doesn't look as central? A comparable expression in the new API doesn't seem immediately intelligible, but maybe once we have concurrency it will make sense again...