Comment Re: Why learn Rust? (Score 2) 83
Thereâ(TM)s not going to be a jump forward like Rust any time soon. And thatâ(TM)s because of computer science and logics, not sociology. Rust uses a variation of affine logic to prove memory safety and other critical properties at compile time. And relevant logics arenâ(TM)t invented very often at all. The jump from C whose design isnâ(TM)t underpinned this way to Rust is not going to come again. Rust is the first language to bring memory safety without a runtime system to a practical language.