Хотя чего там, математика интересных логик не использует, только классическую с шагом влево-вправо для любителей

Композируется лучше

Что в жадном языке можно вычислять лениво -- это распространённое заблуждение среди тех, кто не пробовал. 😊 По факту очень быстро выясняется, что в энергичном языке ленивость пропадает ровно в тот момент, когда она становится критически нужна.

не понимаю, почему заблуждение

если вместо всех значений использовать лямбду из юнита ВЕЗДЕ, то выйдет не ленивость без мемоизации разве?

И кто же так делает? 😉

никто, но можно же!

Учтите, между делом, что это потребует переписывания всех библиотек. 😉

Ну а в Haskell можно везде аннотации строгости расставить. Более того, для ленивых есть StrictData. 😄

В общем, потому и заблуждение, что как только хочется использовать чужие библиотеки совместно со своим ленивым кодом в энергичном языке, очень быстро все вычисления становятся энергичными.

Можно ли утверждать, что в 99% случаев ленивость нужна для производительности?

)))((((

А за счёт чего они становятся энергичными? Потому, что вы либо передаёте callbackи или функции в библиотечный код?

Можно утверждать, что в 99% случаев пофиг на производительность.

За счёт того, что энергичный код форсит задумки.

Ну и вообще нет в наличии достаточно ленивых структур данных. Tail-lazy streams форсятся как только ты начинаешь делать с ними хоть что-то осмысленное, а не просто так держать.

Тогда зачем вам ленивость?

Ленивость - это возможность не делать какие-то вещи. Соответственно, либо эти вещи происходят в чистом коде, тогда это просто увеличение производительности (при работе на десктопе), либо они происходят в коде с побочными эффектами (тогда мы меньше "пачкаем систему") - это тоже производительность, но других подсистем из окружения (make не пересобирает какие-то части проекта => тесты на них не надо перегонять).

Как уже отметили, ленивость не для производительности, а для композабельности. Ровно так же, как и GC. Ещё одна штука, которую не нужно решать заранее и согласовывать между модулями.

Ну будет всё энергично. Какие проблемы?

Я уже писал, какие. 🤷‍♀