¶Reading log
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”