> 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

> 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.