Hacker News Reader

Purity is orthogonal to laziness. Languages like Idris, Purescript, and Elm are pure but also eagerly evaluated.

Except that laziness requires purity.

Only if you insist on determinism :-)