&quot;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.&quot;<p>Better tooling would help so that you&#x27;d get the error checking as you type. Are there any good configurations for vim or Emacs, for example?