6 ms·
It still has a special case for dataclass-like things. I don't see how Python type checking (I haven't tried Red Knot) could let you do semi-magical things like
by quotemstr 2y ago
It still has a special case for dataclass-like things. I don't see how Python type checking (I haven't tried Red Knot) could let you do semi-magical things like Zod schema validation from TypeScript.
- davidatbu 2y ago100%. Python typing is nowhere near as powerful as TS, and the example you gave demonstrates that. I mentioned pyright because (some of) the specific concerns by OP are addressed by it.