Most libraries have TypeScript types these days, either bundled directly with the library (common with newer libraries), or as part of the DefinitelyTyped project.

[–] [email protected] 11 points 6 months ago (1 children)

DefinitelyTyped is the exact kind of thing I'm talking about. You put TypeScript definitions over things, but under the hood it's still JavaScript and can fail in JavaScript ways.

[–] [email protected] 3 points 5 months ago

It can’t fail in javascript ways that require specific sequences of code to be written, if those sequences of code aren’t in the range of output of the Typescript compiler.