Search Results for "borrow"

...It is ahead-of-time (AOT) compiled, targeting LLVM as a backend, and is statically typed. The language introduces a concept called generational references to provide memory safety without relying on a garbage collector, and aims for “safe without a borrow checker” (i.e. reducing the burden on the programmer). Vale also pursues what they call Fearless FFI to make foreign function interface (e.g. interoperating with C libraries) safer and less error-prone. The language supports single ownership semantics (so values have a unique owner, which simplifies reasoning) while also enabling aliasing under controlled circumstances.