2 ms·
This might be of interest: https://verdagon.dev/blog/first-regions-prototype https://verdagon.dev/blog/first-regions-prototype It uses region-based static anal
by verdagon 3y ago
This might be of interest: https://verdagon.dev/blog/first-regions-prototype https://verdagon.dev/blog/first-regions-prototype
It uses region-based static analysis without borrow checking: it doesn't impose aliasability-xor-mutability per object, or even per-region.
Though, if you'd like to move the goalposts further to no form of borrowing at all, then I recommend looking at languages like Forty2 and Verona, they might be what you're looking for.
- dmytrish 3y agoI have already spent more time than I wanted on reading through verbose but elusive articles about Vale, without any insight into how this actually happens. I have already spent too much time trying to compile Vale compiler which is a weird mix of Scala and C++ with a small Vale driver. Once it is actually written in Vale without segfaults, I'll revisit the language again. Thanks for the Verona recommendation.