Viewing profile — cantrelate

As a side note, Zephyr RTOS (hosted at the Linux Foundation) already supports writing applications in Rust https://github.com/zephyrproject-rtos/zephyr-lang-rust

Looks like we will get that borrow checker after all :) "The affine type system makes it easier to relocate objects without breaking type safety. Pattern matching, which is safe an…

> So what happens if you just try to work with what you have? Then you basically end up where existing static analysis tools are - they can catch some lifetime/ownership errors, bu…

> To me it seems like the goal was to be a C++ alternative, not C. That's probably the reason. > I think somewhere inside Rust there is a hidden simpler language, with only a tiny …

Forget all this drama, I wonder if we can have a Borrow Checker, like the one Rust has, implemented on top of C as an optional feature? And since it's just a compile-time thing, it…