Hacker News new | past | comments | ask | show | jobs | submit login

Not 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.




Linear types and session types can enforce protocols for reading from a socket.




Applications are open for YC Winter 2020

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact

Search: