someonewithpc·6 mesi fa·discuss> the halting problem can just be figured out experimentally in production That's a wild statement
someonewithpc·8 anni fa·discussNo. A function which multiplies a number by two is side effect free, but is no idempotent.