> You are getting lost on theoretical undecidability. [...] We decide the cases that can be decided, and do something safe when they can't be decided. I'm not

> You are getting lost on theoretical undecidability. [...] We decide the cases that can be decided, and do something safe when they can't be decided. I'm not lost on that at all; I'm well aware of that. that's precisely why I wrote >> [...] require a ton of static analysis on the source or bytecode that I imagine will at best be slow, and at worst impossible due to the halting problem and not >> static analysis is impossible in the general case so we run away and lose all hope. I'm not sure how you read that sentiment from my comment.