I think it is necessary to go with an erlang like style if one wants to get a remotely acceptable cost model. I am not sure how much static typing actually hin

I think it is necessary to go with an erlang like style if one wants to get a remotely acceptable cost model. I am not sure how much static typing actually hinders and how much that is a matter of tooling, though. Maybe static typing could do things like checking whether the new version will be compatible with other nodes before deploying?