4 ms·
What do you think about the mental load and ergonomics this brings into the code? Also compilation time increase?
by ozgrakkurt 6mo ago
What do you think about the mental load and ergonomics this brings into the code? Also compilation time increase?
- satvikpendem 6mo agoThere is some compile time increase but it brings a lot more guarantees to the code. There was a recent post by a Rust maintainer that he wanted to bring Rust closer to a theorem prover so that as many things as possible can be caught during compile time over time time which might be more disastrous.