On: Effective Rust (2021)

[PartiallyTyped]

> where you spend a bunch of your time arguing with the type systems

That’s the point. It’s a feature, not a bug.

The type system exists to reduce the space of unsound programs. The trade off is dev time for runtime errors.