#type-checking
#type-checking

[ follow ]

Python type checker ty now in beta

ty is a fast, pragmatic, ergonomic, open-source (MIT) type checker with Rust-inspired diagnostics and significantly faster incremental updates on large projects.

Python

fromTall, Snarky Canadian

1 month ago

The varying strictness of TypedDict

TypedDict now controls both key requiredness and whether extra keys are allowed, with Python 3.15 adding closed TypedDict behavior to restrict unknown keys.

Python

fromPeterbe

2 months ago

In Python, you have to specify the type and not rely on inference - Peterbe.com

TypeScript infers literal argument types causing compile-time errors for mismatched values; Python's mypy requires explicit annotations to report the same mismatches.

Python

fromRealpython

3 months ago

Python Annotations Quiz - Real Python

Lazy annotations in Python 3.14 defer evaluation of annotations to improve performance, fix forward reference issues, and support static type checking and runtime processing.

#python

fromhttps://daniel.feldroy.com

4 months ago