4 ms·
I believe what he means is that Rust takes this a step further by ensuring memory safety at compile time.
by oldgun 7y ago
I believe what he means is that Rust takes this a step further by ensuring memory safety at compile time.
- jerf 7y agoRust is merely the latest in a long line of efforts in that direction. It may have located a particularly nice point in the cost/benefits space, and the borrow semantics I believe are novel, but it's well inline with many efforts to make compile time errors out of as many things as possible, from a lot of C++ stuff, Ada, Eiffel, Haskell, a variety of proof methods, the list goes on, and even the things I list are themselves exemplars of entire streams of thought on the idea rather than a complete list, of course. (This is not a criticism of Rust. It is not a criticism of a work to place it correctly in its historical context. Very few things consist entirely of novel ideas, and very few of those are any good, if any.)
- maxxxxx 7y agoAgreed. Rust is another step in the right direction but I don't think it invented a new paradigm.