6 ms·
The borrow checker in Rust is frankly novel. Cyclone had something somewhat similar, but not the same. The broader ML-like type system in Rust is not novel, bu
by cmrdporcupine 3mo ago
The borrow checker in Rust is frankly novel. Cyclone had something somewhat similar, but not the same.
The broader ML-like type system in Rust is not novel, but the integration of the borrow checker -- and its move semantics more broadly -- with it... that form honestly is an innovation. And one I'd have a hard time living without at this point.
- whytevuhuni 3mo agoAnd also one I'd like to see in more languages! Especially a simpler one, closer to C.
- cmrdporcupine 3mo agoCyclone would be the closest to that I guess. RIP.
- vkazanov 3mo agoTrue! the borrow checker is a special thing. This is what i mean when i say "explicit data flow analysis". In a way this is compiler internals exposed to a programmer.