💾 Archived View for dcreager.net › 2024 › 12 › 09-reading-log.gmi captured on 2024-12-17 at 09:33:23. Gemini links have been rewritten to link to archived content
-=-=-=-=-=-=-
2024-12-09
As part of ramping up at Astral, I'm starting to dig into the literature on formalizing Python and on gradual types in general.
I've had [Politz2013] in my paper archive for awhile now, but this is a good chance to re-read it.
My new colleague Carl Meyer is a co-author on [Lu2023], which talks about Static Python, which builds on PEP 484 type annotations to add run-time support for _optimization_ based on types.
And [Siek2015] is a good overview of the precise “gradual guarantee” that Python type annotations aim to provide.
[Politz2013] “Python: The Full Monty”