My interest in Rust comes from getting frustrated with C's type system. Rust has such a nice type system and I really enjoy the ownership semantics around concu

My interest in Rust comes from getting frustrated with C's type system. Rust has such a nice type system and I really enjoy the ownership semantics around concurrency. I think that C++ written "correctly" looks a lot like Rust and libkj [1] encourages this, but it is not enforced by the language. [1] https://github.com/capnproto/capnproto/blob/v2/kjdoc/tour.md https://github.com/capnproto/capnproto/blob/v2/kjdoc/tour.md