> Because those are the reasons[1], to my knowledge, that statically typed language won't fly.
Why not? If you're doing hot code reloading, the types all of the functions and receive expressions expect still have to be compatible, otherwise the code will fail at runtime. Static type checking just lets you know about those problems ahead of time.