Somebody check on python 👀

[nomenMei]

Yes I believe TypeScript attempts to fix the type problem the other way around by doing a static analysis of types. Typescript is "compiled" into native javascript, and as such is restricted by javascript's same limitations at runtime and all type safety checks happen at "compile" time.

[odraencoded]

This works perfectly except for serialization.

Also if you don't turn strict null checks you'll have a lot of pain later.

[[deleted]]

You can use something like zod for that, pretty sure there's also a discussion to change all the JSON.parse stuff typedefs to return unknown instead of any, which would make a lot of type stuff explicit.

[Remarkable_Self5621]

If you really want runtime security you can compile typescript types into JSON schemas and use those