> time spent in long compilations Type checking Haskell, for example, is actually incredibly fast and adds basically nothing to compilation time. This isn't o

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