What Vale Taught Me About Linear Types, Borrowing, and Memory Safety Languages and Archit Programming LanguagesVale Programming Language 3 years ago