Got an Idea of GC. Please CC

Segmenting GC:
- Partition heap into N segments;
- Give each segment a bitmap, keeping what memory cells the segment references;
- After collecting a segment, compare its resulting bitmap to the original, then free now unused objects (bits that went from 1 to 0, and which also have 0 in other segments).

Pros:
- Incremental;
- Parallelizable into N threads;
- Collected memory can be distributed across N machines (share your memory accross Internet);
- Each segment could be future partitioned into subsegments, which are collectible separately.

Cons:
- Write barrier required;
- Bitmap memory is proportional to N;
- Execution time is proportional to memory_size/N.

>>10
In basically all of the languages with shared-nothing, serialization is automatic. In Rust the required trait can be derived by the compiler.

>>11
It's ugly, and will remain that way until/unless higher-kinded types arrive. That's probably not going to make it pretty for you, but it will for me. Go could be pretty as you like and it wouldn't help; it's not typesafe.

Rust isn't a C clone. It's more of a sweet spot between ML and C++.