AT
Признаю, проблемы эти встречаются очень редко, так что если Вы их не встречали -- это нормально.
Size: a a a
2021 May 02
KR
Я эту фразу явно понимаю неправильно.
AT
С другой стороны, я и с ленивостью особых проблем не встречал. 🤷♀
KR
Так именно поэтому и хочется из вас выпытать, какие же именно проблемы.
Возможно они мне встречались, но я их не распознал.
Возможно они мне встречались, но я их не распознал.
AT
Энергичный код форсит задумки ровно в тот момент, когда тебе хотелось бы, чтобы этого не происходило. 😄
Но сделать ты ничего не можешь, потому что нет времени и желания переписывать все библиотеки. 🤷♀
Но сделать ты ничего не можешь, потому что нет времени и желания переписывать все библиотеки. 🤷♀
KR
Ну почему хочется, чтобы этого не происходило?
KR
Мне в 100% случаев хочется для производительности внутри программы или вне её.
AT
Первый пример, на который я наткнулся давным давно: мой алгоритм генерировал тяжёлые вычисления в обратном порядке тому, как я бы хотел их вычислять. Переверни стрим -- и всё уже вычислено, ленивость пропала. Ну и толку было пытаться её прикрутить?
KR
Ну это производительность.
Вы же пишите "тяжёлые вычисления".
Вы же пишите "тяжёлые вычисления".
EL
Итераторы для этого же есть
KR
Много чего есть.
EL
Танки, трансдьюсеры?
EL
Что ещё?
к
ну примеры не производительности - какие-нибудь бесконечных цепочки вычислений. В строгом случае это никогда не вычислится в наивном виде, придется городить отдельные абстракции типа вот тех же итераторов, то есть уходить от какой-то наивной записи к более конкретной, ближе "к железу"
к
хорошо видно на парсерах каких-нибудь
EL
Наивная эта запись только для адептов хаскеля
к
у меня обратное мнение, что именно строгое программирование исказило оценку наивности решения
к
потому что в реальности люди часто пишут неформальные утверждения, которые при прямой формализации в вычислимый строгий язык приводили бы в бесконечному вычислению
KR
То есть, у ленивость есть два положительных момента:
1. Не вычисляем то, что не нужно
2. Переупорядочиваем вычисления - это может привести к локальности (выделяем память, и тут же её отдаём).
1. Не вычисляем то, что не нужно
2. Переупорядочиваем вычисления - это может привести к локальности (выделяем память, и тут же её отдаём).
к
но при построении этого неформального утверждения люди просто не задумываются о порядке вычисления и строгости, поэтому это и "наивное" утверждение