On Tuesday, 19 January 2021 at 06:14:52 UTC, Imperatorn wrote:
What adjustments to the language would be needed in your
opinion?
I've mentioned them in connection with various approaches I've
suggested. Depends on what area you want to improve.
In short (off the top of my head, maybe more is needed):
Precise tracing:
- The compiler currently cannot know what a tracing pointer
points to: unions, casts.
- The GC traces many paths that never leads to ownership.
Non-tracing pointer needed.
ARC:
- There is no knowledge of ownership, so ARC cannot be added.
Compiler needs to know.
Singled threaded GC:
- The compiler does not know when a thread is created? So what
are shared semantics?
