I have a rather large amount of respect and admiration for Joe Armstrong and his accomplishments, but I think he got this somewhat wrong. Linear types could po

I have a rather large amount of respect and admiration for Joe Armstrong and his accomplishments, but I think he got this somewhat wrong. Linear types could potentially catch that bug. In fact I think Linear type system can help us go from "ints are file descriptors" to "what kind of socket is this and can I call this function on it?" to "what's the state of this FD?". I agree that if we treat FD's as "int", you're hosed in this case, but that's the world we live in, and I think that's what he was getting at.