Interoperable Effects-Based Concurrency
Picos is an interface between schedulers and concurrent abstractions. Two phrases, Picos compatible and Implemented in Picos, are used to describe the opposing sides of this contract.
The two main motivating problems for the design of Picos have been Cancelable synchronization and Structured concurrency.
Picos allows a single application to use multiple schedulers and libraries internally using different concurrent programming models.
Picos allows IO to be implemented as scheduler agnostic libraries.
Picos — Interoperable effects based concurrency, see video.