Куда прячется ленивость и как ее оттуда достать?

[deni_ok]

Мы привыкли, что правая свертка (foldr) хорошо заточена для работы с бесконечными списками:

> let mapPlusPi = foldr (\x xs -> (x+pi):xs) []
> head $ mapPlusPi [1..]
4.141592653589793
К сожалению, иногда возникают неприятности. Вот функция, которая берет список и выкидывает из него элементы стоящие на нечетных местах:

> let evenOnly = snd . foldr

Comments

[gds]

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

[nivanych]

Иными словами, у повсеместной ленивости есть только один существенный недостаток -
большая непривычность (но не сложность!) рассуждения за costs semantics.
Что довольно сильно, не буду спорить.

[gds]

и сложность тоже есть -- надо помнить, где что лениво, а где строго. В данной задаче пришлось вспомнить/узнать, что есть волшебное "~" перед паттерном, которое делает лениво. Чем меньше помнить (иметь заученных наизусть знаний), тем проще.

" = "

[alexandermarkov]

Язык надо знать, дубина!

[gds]

пасяп)))))))

[nivanych]

Мы говорим о ленивости и практическом опыте работы, и не обязательно применимо к конкретному языку.
И какой же это язык надо знать, тов. недубина?

[alexandermarkov]

Тот, на котором погроммируешь, конечно.