#4 is correct.

In terms of reducing errors, Haskell goes a long way, but it does not eliminate all errors.