LLVM supports arbitrarily sized integer types, but sadly it's not exposed in Rust.
The only language I've seen where this is possible is Julia (which uses LLVM too).
The only language I've seen where this is possible is Julia (which uses LLVM too).
Compilation strategy and code hotswapping are independent of static vs dynamic types. Java is statically typed, however its implementations support interpreted execution and code hotswapping.