Reasoning on concurrency in terms of lax semi monoidal functors

https://muratkasimov.art/Ya/Snippets/Asynchronous-computations/

It was a low hanging fruit - just a quick experiment, I turned concurrent and race functions from async package into natural transformations: https://github.com/iokasimov/ya-world-async/blob/main/Ya/World/Async.hs

Also a snippet source code, Twitter thread for discussions.

1 Like