-
Notifications
You must be signed in to change notification settings - Fork 361
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
Support partial folds over Dict
#1117
Comments
Thanks for reporting this! To set expectations:
Finally, please be patient with the core team. They are trying their best with limited resources. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Currently, there is no performant way to query a subset (range) of keys in a dictionary. The best way currently involves converting the entire
Dict
to a list and then filtering, which runs in O(n). Theoretically, this should be able to be done in O(log(n) + size_of_results).Concrete API proposal:
The existing fold functions can be implemented using these new ones:
These functions also allow us to implement
before
andafter
as inIntDict
, which is currently impossible with the existing API.The text was updated successfully, but these errors were encountered: