> I, for one, prefer more static typing, rather than less. I prefer Scala, OCaml, F#, or Rust.
Why, then, don't you prefer languages with more static typing? Scala, Ocaml, F#, and Rust are middle of the road at best.
It seems you're echoing that the pragmatic choice for a business application is to stick to typing basics (within some margin of what is considered basic).