3 ms·Linear types and session types can enforce protocols for reading from a socket.by UK-AL 7y agoLinear types and session types can enforce protocols for reading from a socket.