It is not necessarily lazy. Computations might, for example, be time-shifted to link time instead of runtime. See some of the notes on project Leyden for more d

It is not necessarily lazy. Computations might, for example, be time-shifted to link time instead of runtime. See some of the notes on project Leyden for more details [1]. https://openjdk.org/projects/leyden/notes/02-shift-and-constrain https://openjdk.org/projects/leyden/notes/02-shift-and-const...