[Haskell-cafe] Re: Why can't Haskell be faster?

[Peter Hercek]

I'm curious what experts think too.

So far I just guess it is because of clean type system getting
  better hints for optimizations:

* it is easy to mark stuff strict (even in function signatures
  etc), so it is possible to save on unnecessary CAF creations

* uniqueness types allow to do in-place modifications (instead
  of creating a copy of an object on heap and modifying the copy),
  so you save GC time and also improve cache hit performance

Peter.