3 ms·
> trust that the static types are truthful That's often a mistake even in typed languages like typescript. Satisfying a static type analyzer isn't enough. Real
by musingsole 5y ago
> trust that the static types are truthful
That's often a mistake even in typed languages like typescript. Satisfying a static type analyzer isn't enough. Real data is whatever it is going to be. If your types are meaningless at runtime, you can easily encounter type mismatches.
Static typing as implemented in typescript and python type hints is a tool for engineers instead of a tool for systems.
- roywiggins 5y agoThe types are usually ignored, but not entirely erased- Pydantic uses type hints to do validation at runtime, so if you construct a Pydantic object with invalid data it will throw an error, so eg foo=PydanticFoo(**request.json()) Will try and validate a json request against the implied schema provided by the type hints on PydanticFoo while constructing it and will throw if it fails.
- goodoldneon 5y agoYou missed my point. If you validate input, then the static types are representative of runtime types
- musingsole 5y agoAck, so I did :P