Comment Comment by wdroz With the 3.13 TypeIs[0] and the 3.10 TypeGuard[1], we can achieve some of Rust's power (such as the 'if let' pattern) without runtime guarantees.This is a win for the DX, but this is not yet widely used. For example, "TypeGuard[" appears in only 8k Python files on GitHub.[2][0] -- https://docs.python.org/3.13/library/typing.html#typing.Type...[1] -- https://docs.python.org/3.13/library/typing.html#typing.Type...[2] -- https://github.com/search?q=%22TypeGuard%5B%22+path%3A*.py&t... parent wdroz 2 years ago
This is a win for the DX, but this is not yet widely used. For example, "TypeGuard[" appears in only 8k Python files on GitHub.[2]
[0] -- https://docs.python.org/3.13/library/typing.html#typing.Type...
[1] -- https://docs.python.org/3.13/library/typing.html#typing.Type...
[2] -- https://github.com/search?q=%22TypeGuard%5B%22+path%3A*.py&t...