Implement this function hard but doable bool halt(Program

return halt(p, i);

>>62462984

bool halt(Program p, Input i)
{
    return 1;
}

Since you didn't say what it does I can only assume anything.

I did that for my PhD thesis in 1954.

>>62462984
>start new process to kill p after a random amount of time
>return true

heheh

>>62462984

bool halt(Program p, Input i) {
  p(i);
  return true;
}

   return ask_ayylmaos("Yo dudes, does this program halt for the given input, thx", p, i)

The function is actually not doable

>>62462984

total
halt : Program -> Input -> IO Bool
halt p i = do p i; pure True

>>62462984
Sure, let me build a Turing machine to show you that a general solution exists.