Erlang

Erlang is a dynamically typed language to my understanding. There's other implementations of actors, like ino aca on the j b m m. But so it tends to be untyped as well. I guess berling's a word mixed ecause it's typed. It's got code upbraids, which means you can keep your app running and it can hold two versions of your code in memory at the same time. Once it crosses a full fied function call, it will upgrade to the new version of the code.