> Erlang can even do a harder thing, which is update the code handling a given socket connection or something live, in a principled manner, while never dropping

> Erlang can even do a harder thing, which is update the code handling a given socket connection or something live, in a principled manner, while never dropping the connection. I imagine that runtime type errors is what makes this possible.