6 ms·
> If you turn off `any` on a gradually-typed codebase, everything will blow up because of the untyped parts. Again, that's not true. A JavaScript file's export
by eatonphil 7y ago
> If you turn off `any` on a gradually-typed codebase, everything will blow up because of the untyped parts.
Again, that's not true. A JavaScript file's exports don't have `any` type. Any types during interop are inferred (maybe?) or require bindings. The use of `any` in bindings is your (sometimes valid) choice.
> Gradual typing CANNOT be sound
TypeScript isn't sound [0].
[0] https://github.com/Microsoft/TypeScript/issues/9825 https://github.com/Microsoft/TypeScript/issues/9825