3 ms·
> Math can't deal with imperfect input and/or side effects without turning into something else. It very much can though.
by JustFinishedBSG 7y ago
> Math can't deal with imperfect input and/or side effects without turning into something else.
It very much can though.
- codr7 7y agoNot in any sense that matters here, no. There's no math equation for reading from a socket. Code is not math and math is not code. It's possible to sort of hide the fact by stacking enough abstractions on top, but in the end it's going to be the same old code that makes it happen.
- UK-AL 7y agoLinear types and session types can enforce protocols for reading from a socket.