Hacker News Reader

> You can use the same tools used to reason about performance in time as we do for nearly every program.

That's simply not true. Reasoning about performance of imperative languages is fundamentally easier.

You can write imperative programs in Haskell and many people do. You get effect tracking, giving perhaps the "the worlds best imperative language" :)