>A language with a good type system (ex. Haskell, OCaml, Rust etc.) makes it hard to write bad code,

Maybe they wouldn't be writing any code if they had to write it in a languages like that.