Timeouts

[alexandru]

Hi folks,

Not sure what medium is best for this discussion…

We are migrating a big codebase to CE 3, and I need a special timeout operation that gives up on cancelling the unending task (after a certain timeout). So, I'd like to timeout the cancelation, too. The current timeout implementations seem a little unintuitive, due to the desired propagation of cancelation.

The timeout operation I'm implementing is timing-out the cancelation because we have integrations with Java libraries that don't implement a reliable cancelation protocol. And the IO-driven logic should try to do the right thing.

This would be my draft, I'd appreciate a review — I think it is correct, but given the nondeterministic nature of these races, there might be something I'm missing:

https://gist.github.com/alexandru/c7ddcc9e6fc67b12ae91c74c66056204

To me, an implementation of timeout like this makes a lot of sense, and I'd have this in Cats-Effect proper. Would like to know what you think of it.