Sat Jan 11 20:34:02 CET 2020
So it is actually meaningful to have multiple readers, because each of
those might actually be blocked on some output task.
I wonder if it is then needed to have the dual of select: write to
multiple channels, picking the first that is available.
Let's assume this is not the case for now.
AHA. This is like CML. Because a write can be an event that can be
Maybe CML is just the realization that the duality of the rendez-vous
is just a side effect of it not being general enough?