But doesn’t making assumptions about implementation lead to leaky abstractions?

# coroutines

[dstarcev]

But doesn’t making assumptions about implementation lead to leaky abstractions?

[diesieben07]

Whether or not a method blocks it not part of the implementation but of the interface contract imho.

[dstarcev]

@diesieben07 imagine a typical Logger interface. Implementations often utilize I/O but you can hardly meet a non-blocking logger.

[diesieben07]

There is a difference between non-blocking and suspending.

[diesieben07]

Every suspending method should be non-blocking, but not every non-blocking method suspends. You can have a non-blocking method that instead of suspending returns e.g. a CompletableFuture or a Deferred.