Hacker News new | ask | show | jobs
by Etheryte 464 days ago
That's still a manual type assertion though, and if a regular usage pattern demands one, then the library is doing it wrong. Regardless of how you annotate it, every manual override reduces the effectiveness of the type system.