The issue is that imperative languages with strong type systems essentially haven't been a thing until Rust[0], and not everyone enjoys working in Haskell's wor

The issue is that imperative languages with strong type systems essentially haven't been a thing until Rust[0], and not everyone enjoys working in Haskell's world of applicatives, monads and functors - you certainly can't say that it's an easy replacement for, say, Python in most companies. Hopefully Rust will encourage the next generation of programming languages to follow its lead. [0] And possibly Nim? I've not looked into it to see how strong its type system is, though.