3 ms·
> much simpler type checkers like Rust's Linear/Affine types aren't easy, although deep down it is about enforcing XOR.
by stevefan1999 3mo ago
> much simpler type checkers like Rust's
Linear/Affine types aren't easy, although deep down it is about enforcing XOR.