&gt; time spent in long compilations<p>Type checking Haskell, for example, is actually incredibly fast and adds basically nothing to compilation time.  This isn&#x27;t one of the drawbacks of a type system.