Comment by ozgrakkurt
13 days ago
What do you think about the mental load and ergonomics this brings into the code? Also compilation time increase?
13 days ago
What do you think about the mental load and ergonomics this brings into the code? Also compilation time increase?
There 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.