Tech Talk: Moves and Borrowing In Rust With Jim Blandy
CoRecursive: Coding Stories
00:00
Idislik Tdis
Linear types were invented as a simplification of, or as a restriction of, of logic. If you know that a implies b, and then you use that fact in a proof, you can't use it again. An aphine type system is a relaxation, or a slight generalization, of a linear type systand. And so when you relax linear types and allow people to just drop values on the floor, well, it's sort of like linear but better.
Transcript
Play full episode
