Hacker News new | ask | show | jobs
by Supermancho 2244 days ago
> this case the outputs are discrete (e.g. binary: halts/does not halt, left/right, etc.)

As you vary the inputs, the outputs change. This results in a continuity. There is a question of ranges, but this is handled by a type system (even if that type is a pointer, you run through all memory for your function inputs).