Join GitHub today
GitHub is home to over 50 million developers working together to host and review code, manage projects, and build software together.
Sign upGitHub is where the world builds software
Millions of developers and companies build, ship, and maintain their software on GitHub — the largest and most advanced development platform in the world.
Support typed groups #225
Closed
Support typed groups #225
Labels
Comments
|
It seems hard to implement, because |
|
Yes, we would basically need to register groups instead of just getting them on-the-fly. Otherwise we can't ensure that groups always have the same types. That would be a breaking change, though... I didn't see an easy solution for this either. |
|
I close this as |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
It's currently not possible to stuff typed actors into groups while preserving their type information. It would be nice to have a
typed_groupin the same vein as atyped_actor.