Skip to content

feat: implement message selectors #72

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
merged 5 commits into from
Mar 21, 2024
Merged

feat: implement message selectors #72

merged 5 commits into from
Mar 21, 2024

Conversation

leostera
Copy link
Collaborator

@leostera leostera commented Mar 20, 2024

This PR reintroduces message selectors to the receive expression, and it introduces a new receive_any expression that skips the selection entirely.

We can use these to:

  • get rid of the catch-all messages in receive expressions
  • implement selective receives for Task, GenServer, and similar cases efficiently
  • implement wait_pids efficiently

@leostera leostera force-pushed the feat/message-selectors branch from 2d67710 to ae4f597 Compare March 20, 2024 19:58
@leostera leostera merged commit 1e40f70 into main Mar 21, 2024
@leostera leostera deleted the feat/message-selectors branch March 21, 2024 19:26
This was referenced Mar 21, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant