3 ms·
I don't think either "linear types" or "affine types" (they're separate but related things) are ambiguous terms. Under linear typing, values must be used once,
by dbaupp 8y ago
I don't think either "linear types" or "affine types" (they're separate but related things) are ambiguous terms. Under linear typing, values must be used once, and under affine typing, at most once.
Could you clarify the ambiguity you see, and how Zig has them?