Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

Can I explicitly check for cancellation / terminate async computation?

I have an async computation like the following (see inline comments):

async {
  //...
  do! Async.Sleep(100) //cancellation may happen during sleep
  //... but isn't checked at the end of the sleep, so regular, non-async computations are executed here 
}

In order to force a cancellation check / terminate the entire async computation before the "regular" computation part is reached, I insert an effective no-op do! Async.Sleep(1) immediately after the do! Async.Sleep(100). Is there a cleaner way to do this? Possibly even something like do! Async.Nop.

like image 888
Stephen Swensen Avatar asked Sep 07 '13 18:09

Stephen Swensen


1 Answers

How about something like this:

let nop = async.Return ()

Then you could use it like:

async {
    // ...
    do! Async.Sleep 100
    do! nop
}
like image 182
Jack P. Avatar answered Sep 30 '22 04:09

Jack P.