[closeparen]

A fully general transformation from naive to thread-safe code seems like it would make you one of the giants of computer science alongside Knuth and Dijkstra.

[local_crmdgeon]

You don’t need that though - you can get a long way with improved tooling and devex

[closeparen]

It's hard to imagine a devex good enough to compensate for "every so often you need to revisit all the code ever written in this language."

[kkirsche]

I think this is where concepts from Rust and Go could come in handy. Things like Go’s race condition detection and rust’s compiler validation approaches can be used to statically analyze code. Sure, it’s a meaningful change from how many Python devs approach the language and challenging problem but not insurmountable given the existing work in the field.