3 ms·
Are you trying to say that Rc/Arc are GCs? I guess you're technically correct, but no one sees it that way.
by maleldil 9mo ago
Are you trying to say that Rc/Arc are GCs? I guess you're technically correct, but no one sees it that way.
- 9rx 9mo agoI would say that RC is GC, yes, as it is most definitely technically true. But it was pjmlp who suggested it originally (Limbo also uses reference counting), so we have clear evidence that others also see reference counting as being GC. We wouldn't have a discussion here otherwise.
- pjmlp 9mo agoWhile RC is a GC algorithm, chapter 5 from GC handbook, it doesn't count when it isn't part of the type system because then it becomes optional and not part of the regular use of the programming language. Additionally Limbo's GC is a bit more complicaticated than a plain add_ref()/release() pair of library calls. https://doc.cat-v.org/inferno/concurrent_gc/concurrent_gc.pdf https://doc.cat-v.org/inferno/concurrent_gc/concurrent_gc.pd...
- 9rx 9mo ago> because then it becomes optional Exactly. Optional implies use. So, in case you forgot to read the thread, both Limbo and Rust use GC.