> Rust on the other hand? I don't have to think about it any of those, and it borrows (no pun intended) great FP type system features to boot. I think this is

> Rust on the other hand? I don't have to think about it any of those, and it borrows (no pun intended) great FP type system features to boot. I think this is the real value. As an analogy, I once updated a large legacy codebase from Java 1.x (pre-generics) to Java 1.5+ adding generic annotations everywhere. It took many months of incremental, interspersed work. In the end, there was exactly 1 bug uncovered where a drop-down list would rarely show `ObjectType@addr` instead of the proper rendering which was otherwise harmless. This is to say that the added type information wasn't mainly needed to reduce bugs as it's raison d'etre, but that it meant that developers had reduced cognitive load of types while working.