If the reason for static typing is debugging, then what matter is ease of debugging, not static typing. If the reason for binary compilation is speed and/or easy deployment, then what you need is speed and/or easy deployment not binary compilation. They smell like XY problems. [1] To the degree they are XY Problems, Erlang is worth looking into. Pattern matching against variable input is what it does with decades of real world business critical deployment at vast scale. It doesn't look like other languages because it isn't. Good luck.