Conversation

My strong feeling is that the "memory safe systems programming language that's easier to use than Rust" that everyone wants is going to have to have something that looks a lot like a garbage collector. There's a lot of room to design a fast GC for "systems-like" patterns.
35
369
You could imagine a system that integrated tracing GC for language-native objects with reference counting, or conservatively scanned C heaps, for FFI objects, for instance.
6
65
Replying to
Main thing is that the tracing GC or automatic reference counting really needs to be thread local. Most overhead comes from needing to provide thread safety (atomics, barriers, etc.). Can just give up on that and use explicit automatic reference counted container types like Rust.
4
4