Ленивые Вычисления on Digitable courses https://courses.digitable.life/tags/%D0%BB%D0%B5%D0%BD%D0%B8%D0%B2%D1%8B%D0%B5-%D0%B2%D1%8B%D1%87%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%B8%D1%8F/ Recent content in Ленивые Вычисления on Digitable courses Hugo ru-RU Sat, 01 Aug 2026 00:12:59 +0300 Ленивость, бесконечные структуры и потоки данных https://courses.digitable.life/post/functional-programming/11-laziness-and-streams/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/functional-programming/11-laziness-and-streams/ Ленивое вычисление — это не экзотика Haskell, а способ разделить «что мы порождаем» и «сколько нам нужно». Разбираем thunk и call-by-need, генераторы, бесконечные списки, потоки, backpressure и честную цену: space leak, непредсказуемую память и сломанный порядок эффектов. Стратегии вычисления: нормальный порядок, аппликативный, ленивость https://courses.digitable.life/post/lambda-calculus/08-evaluation-strategies/ Thu, 16 Jul 2026 10:00:00 +0300 https://courses.digitable.life/post/lambda-calculus/08-evaluation-strategies/ Почему одно и то же лямбда-выражение может завершиться или зациклиться в зависимости от того, какой редекс вы сократили первым — и как из этого выросли строгие языки, ленивые языки и мемоизированные thunk-и.