Tag
lazy-evaluation
- Sep 30, 2023 Stranded Credit: Why Amortized Bounds Fail Under Persistence and Laziness Credit earned by earlier operations is only spendable if the state carrying it survives, so persistent versions and deferred computation can strand potential, and the potential argument has to be redesigned rather than reapplied. algorithms
- Jun 6, 2023 Call-by-Need Evaluation and In-Place Thunk Update How a lazy argument becomes a shared thunk, why forcing it overwrites the thunk with its value, and where the resulting retention of unevaluated expressions costs memory. programming languages