4

Lean 4 is a purely functional programming language, but is it lazy (like Haskell) or strict (like Idris) and what are the implications of this? Is there a way to opt-in (or opt-out) of laziness?

eyelash
  • 3,197
  • 25
  • 33

1 Answers1

3

Lean 4 is a strict language like Idris.

Leonardo de Moura
  • 21,065
  • 2
  • 47
  • 53