A Lobsters post describes Valen, a programming language using a flexible borrow checker based on Nick Smith’s group-borrowing proposal. The design aims to permi
A Lobsters post describes Valen, a programming language using a flexible borrow checker based on Nick Smith’s group-borrowing proposal. The design aims to permit multiple read-write references while preventing use-after-free errors at compi
Open discussion →