3 ms·

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 3y ago
  You don’t need that though - you can get a long way with improved tooling and devex
  • closeparen 3y ago
    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 3y ago
      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.
      • deleted 3y ago
        [deleted]