search

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

Let locations have distinct inner monads #39

Open ShapeOfMatter opened 4 months ago

ShapeOfMatter commented 4 months ago

See the HasChor issue.

I think this will be harder for us than for them; the structure of the inner monads would have to be such that we could manipultate proof objects saying "p is in ps and has ms as part of its inner moanadic api".