cantrelate

3 ms·

1. 1.▲
   by cantrelate 2y ago

   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
2. 2.▲
   by cantrelate 2y ago

   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 and expressive, interfaces with the extension’s new choic
3. 3.▲
   by cantrelate 2y ago

   > 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, but that's on a best-effort basis an can potentia
4. 4.▲
   by cantrelate 2y ago

   > 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 subset of its features, but which still has lifet
5. 5.▲
   by cantrelate 2y ago

   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 won't cause any incompatibility or breakage at ru