Re:TypeScript vs. ReasonML
by eatonphil on Wednesday September 04, 2019 @06:11PM
(#20881921)
> 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.
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