Wie kann ich ein Versprechen in Raku auslaufen lassen?

Ich weiß, dass ich einen Termin festlegen kann Promise, der in einer bestimmten Zeitspanne eingehalten werden soll

my $promise = Promise.in($seconds);

aber wie kann ich planen, dass es kaputt geht? Insbesondere denke ich an ein Versprechen, das "Timeout" sein wird, so dass es bis zu einer bestimmten Zeitspanne einzuhalten ist, sonst wird es scheitern.

Ich kann das mit einem anderen machen Promise, so:

my $promise = Promise.new;
...
Promise.in($seconds).then: { $promise.break };

Aber das fühlt sich ein bisschen ... verschwenderisch an. Gibt es einen besseren Weg, dies zu tun?

Ein übliches Muster ist, so etwas zu schreiben:

await Promise.anyof($the-promise, Promise.in(10));
if $the-promise {
    # it finished ahead of the timeout
}
else {
    # it timed out
}

Das manifestiert sich nicht als defekt Promise, obwohl das nicht alles schlecht ist (da Sie in vielen Fällen ohnehin zwischen Stornierung und Fehler unterscheiden müssen, müssen Sie also immer noch einen Abgleich für den Ausnahmetyp durchführen). Dieses Factoring hat auch den Vorteil, dass $the-promisees nicht eines sein muss, auf das Sie Zugriff haben, um es zu behalten / zu unterbrechen.

Man könnte dies auch in so etwas einwickeln:

class TimedOut is Exception {}
sub timeout($promise, $time) {
    start {
        await Promise.anyof($promise, Promise.in($time));
        $promise ?? await($promise) !! die(TimedOut.new)
    }
}

Was wieder mit any funktioniert $promise, das Ergebnis oder die Ausnahme weitergibt und andernfalls eine Timeout-Ausnahme auslöst.

Bei alledem ist zu beachten, dass sie tatsächlich keine Stornierung der laufenden Arbeiten bewirken. Das ist vielleicht nicht wichtig oder wichtig. Wenn letzteres der Fall ist, möchten Sie wahrscheinlich Folgendes:

• A Promise, mit dem Sie die Stornierung übermitteln, die stattgefunden hat; Sie behalten es beim Abbrechen und fragen es in dem Code ab, der die Stornierung vornimmt
• Um stattdessen das SupplyParadigma zu verwenden, bei dem es ein Stornierungsmodell gibt (Schließen des Hahns).