It probably helps in Rust. Perhaps it helps more in certain specific languages or contexts. The studies found no general “overall cost” improvement; in other

It probably helps in Rust. Perhaps it helps more in certain specific languages or contexts. The studies found no general “overall cost” improvement; in other words, the extra correctness came at the cost of tons more boilerplate and “fighting the type system”