try {
}
catch {
    | ex is ThreadInterruptedException
    | ex is ThreadAbortException
        => throw; // exception catch pattern must be in form of `| e is ExceptionType => handler' or`| e => handler' for System.Exception
    | ex
        => {
        }
}

А так нет:

try {
}
catch {
    | ex is ThreadInterruptedException
        => throw;
    | ex is ThreadAbortException
        => throw;
    | ex
        => {
        }
}

И это что, получается мне надо два одинаковых обработчика писать?

try {
}
catch {
    | ex is ThreadInterruptedException
    | ex is ThreadAbortException
        => (); // exception catch pattern must be in form of `| e is ExceptionType => handler' or`| e => handler' for System.Exception
    | ex
        => {
        }
}

А так нет:

try {
}
catch {
    | ex is ThreadInterruptedException
        => ();
    | ex is ThreadAbortException
        => ();
    | ex
        => {
        }
}

И это что, получается мне надо два одинаковых обработчика писать?