Bagaimana saya bisa membatalkan janji di Raku?

Saya tahu saya bisa menjadwalkan Promiseuntuk disimpan dalam jumlah waktu tertentu

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

tetapi bagaimana saya bisa menjadwalkannya untuk dilanggar? Secara khusus, saya memikirkan janji yang akan "habis", sehingga masih ada waktu untuk dijaga atau kalau tidak akan gagal.

Saya bisa melakukan ini dengan yang lain Promise, seperti:

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

Tapi ini terasa agak ... sia-sia. Apakah ada cara yang lebih baik untuk melakukan ini?

Pola umum adalah menulis sesuatu seperti ini:

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

Itu tidak memanifestasikan dirinya sebagai rusak Promise, meskipun itu tidak semuanya buruk (karena Anda perlu membedakan pembatalan vs kesalahan dalam banyak kasus, jadi Anda masih harus melakukan pencocokan pada jenis pengecualian). Anjak piutang ini juga memiliki keuntungan yang $the-promisetidak harus Anda dapatkan / pertahankan.

Orang juga bisa membungkusnya dengan sesuatu seperti ini:

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

Yang lagi-lagi akan bekerja dengan apa pun $promise, meneruskan hasil atau pengecualian, dan membuang pengecualian batas waktu sebaliknya.

Yang perlu diingat dengan semua ini adalah bahwa mereka tidak benar-benar mempengaruhi pembatalan pekerjaan yang sedang berlangsung. Itu mungkin tidak penting, atau mungkin penting. Jika yang terakhir, Anda mungkin ingin:

• A Promiseyang Anda gunakan untuk menyampaikan pembatalan telah terjadi; Anda menyimpannya saat membatalkan, dan polling dalam kode yang akan melakukan pembatalan
• Untuk melihat menggunakan Supplyparadigma sebagai gantinya, di mana ada model pembatalan (menutup keran).