4 ms·
The real benefit of Adas typing is that it is so easy to utilise often preventing logic errors.
by kevlar700 2y ago
The real benefit of Adas typing is that it is so easy to utilise often preventing logic errors.
- Yoric 2y agoAnd this is definitely a strong benefit. The benefit of Rust's typing is that (in the absence of `unsafe` or bugs in the compiler or stdlib), it's a simple theorem prover. Much less powerful than the theorem provers you can use with SPARK, but it's a start :)