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

All examples should be tied into unit tests and should also be ready-to-use. #33

Open ShapeOfMatter opened 4 months ago

ShapeOfMatter commented 4 months ago

As tests of our system, most of the examples will be redundant. That said, an example that doesn't work is useless, so a test of the example is worthwhile. Readers are less likely to experiment with running the examples over HTTP, but it should be easy for them to do that if they want to.