4 ms·

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

• hikarudo 10y ago
  Except that laziness requires purity.
  • deleted 10y ago
    [deleted]
  • fdej 10y ago
    Only if you insist on determinism :-)