3 ms·
Do you mean that in contrast to affine types, that are here for borrow checking?
by Zababa 5y ago
Do you mean that in contrast to affine types, that are here for borrow checking?
- masklinn 5y agoNo, I mean that in contrast to the other side of the discussion (zig’s errors). And affine types are not here for borrow checking, it’s closer to the opposite. Affine types are a formalisation of RAII, borrow checking is a way to make references memory-safe without runtime overhead which mostly avoids unnecessary (and sometimes impossible requiring allocations & refcounting) copies of affine types.