3 ms·
Would it be correct to say that the affine type system underlies the ownership paradigm?
by moosingin3space 9y ago
Would it be correct to say that the affine type system underlies the ownership paradigm?
- kibwen 9y agoAbsolutely, I was just trying to avoid using "ownership" in my previous comment because it's more of an abstract concept than the type system and the borrow checker (which have concrete phases in the compiler, typeck and borrowck (though typeck also does more than just enforce linearity (er, affininity?))).