search

ShapeOfMatter / MultiChor

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

Dynamic cardinality #16

Open ShapeOfMatter opened 6 months ago

ShapeOfMatter commented 6 months ago

Our current plan is to have location-set-cardinality polymorphism; that's different from dynamism. That said, i think it should be possible to set participation sets at runtime. It sounds like it might not be compatible with haskell's type system, but the current EPP system is already kinda-sorta doing this...

ShapeOfMatter commented 1 month ago

not sure if this is usefull just need someplace to leave it... https://www.reddit.com/r/haskell/comments/km9f52/symbols_for_dynamically_decided_values/