Why is this a limitation only of type-checked functions?
The problem is whether the function can or cannot handle the content of the new message and that's completely orthogonal
The problem is whether the function can or cannot handle the content of the new message and that's completely orthogonal
You could still use Erlang's crashing and supervisor technique, but you would have the additional benefit of using static typing across a distributed system (where each node may or may not have received the upgrade yet).