💾 Archived View for dcreager.net › languages › python › typing captured on 2024-12-17 at 09:34:05. Gemini links have been rewritten to link to archived content
View Raw
More Information
-=-=-=-=-=-=-
Typing spec
The Any type
Intersection types
[Lu2023] “Gradual Soundness: Lessons from Static Python”
PEP 747: Annotating Type Forms
» Languages » Python
» Theory » Gradual types