终止一个进程🔗

你可以使用 IO.Process.exit 以某个特定的退出码终止当前进程。按照惯例，退出码 0 表示成功，任何非零码都表示错误。

def terminateProcess (someCondition : Bool) : IO Unit := do
  if someCondition then
    IO.Process.exit 0 -- Success
  else
    IO.println s!"Condition not met. Terminating process..."
    IO.Process.exit 1

也可以使用 IO.Process.forceExit 强制立即终止当前进程。

此外，你还可以通过派生一个子进程，用 Linux 的 kill 命令（或你机器上对应的版本）并给出目标进程的 PID，来杀掉任何其他进程。