"Most errors are picked up by the type checker immediately at the start of the build, rather than by the unit-tests at the end. That saves a lot of time."
Better tooling would help so that you'd get the error checking as you type. Are there any good configurations for vim or Emacs, for example?