-
Notifications
You must be signed in to change notification settings - Fork 150
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
Revise approach to interning #497
Comments
(copying the context from Zulip to avoid jumps...) Lukas:
Micha:
Niko:
Niko, later a few days later:
|
This issue is largely outdated. The plan is to have global interning but to have the ability to collect periodically to limit maximum memory. |
As noted on Zulip, I think we ought to reconsider global interning because of its poor interaction with garbage collection.
The text was updated successfully, but these errors were encountered: