On: I love coding in C

[qaq]

need to support hot reload is one of the reasons Erlang does not have static typing

[thosakwe → qaq]

Dart has static typing, and hot reloading in its VM, so it's definitely possible.

[caseymarquis → qaq]

I'm looking at hot reloading more for debugging difficult to reproduce bugs in the field than for patching critical systems which can't go down. The goal will be to hot reload logic, but not types. I think that should be doable.