или image X и наделать новых слоёв

И нельзя сказать переиспользуй слой оттуда

И чтобы reproducibility получить нужно через 15 обручей горящих прыгнуть

на третьем их которых сидит уставший прыгать через них лев

чота я слишком много котят с дверцами выдал 🙁

каких котят?

плохая аналогия подобна котёнку с дверцей

One performance problem in Idris 1 was due to space leaks in the Haskell caused by using lazy data structures where they weren't needed. Despite our best efforts, we were never able to resolve these fully. No doubt it would have been better to consider where strict data structures would have been better. But, we didn't. This isn't to say that Idris has proved a better implementation choice because it's strict, just to say that we needed to put more thought, earlier, into where we needed strict data in Haskell.

не понял(

В твиге есть такой Арно Спивак, если вы хотите узнать, всё плохое про ленивость - просто спросите его, или лучше скажите, что ленивость это хорошо

Вам обеспечен собесендник (хотя скорее монолог), минут на 20-30

Какой полезный человек!

Ещё он любит создавать темы на внутреннем форуме

Почти как Саша Гранин с фримонадами)

Допустим у вы пишете программу где у вас из-за ленивости <проблема, которая может возникать из-за чего угодно>, как вы будете разбираться с этой проблемой

ну хаскеллисты действительно часто используют ленивость там где не надо

Ну он окамльщик изначально

вот например почему стейт по дефолту ленивый? Кому это нахрен надо?

Тем кто пишет компиляторы и завязывает узлы?

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