And I think that speaks to the current state of type system research on communicating processes, not to any fundamental inability thereof. Session types are a r

And I think that speaks to the current state of type system research on communicating processes, not to any fundamental inability thereof. Session types are a recent approach (though one that I don't think goes far enough; give me full-duplex channels!)