I don’t see this as a band-aid. It’s doing proper type checking (static analysis) and that seems quite promising? Getting good type errors without requiring ty

I don’t see this as a band-aid. It’s doing proper type checking (static analysis) and that seems quite promising? Getting good type errors without requiring type annotations seems like a win over languages that are annotation-heavy. Normally I’d be skeptical about relying on type inference too much over explicit type declarations, but maybe it’s okay for this problem? This is speculative, but I could see this becoming another win for the Go approach of putting off problems that aren’t urgent. Sort of like having third-party module systems for so many years, and then a really good one. Or like generics.