ЕО
:О весь смысл слайсинга теряется
Size: a a a
2020 November 22
R
:О весь смысл слайсинга теряется
Кто знает. Может быть v8(например) это оптимизирует
p
Кто знает. Может быть v8(например) это оптимизирует
Может, а может и нет. + есть не только v8
ЗП
Я бы взял uncons
ЗП
А вообще свёртка спасет
NI
Хаскелевское идеоматичное решение -
countEven = length.(filter isEven)
существенно, что промежуточный список ленивый.
;-)
countEven = length.(filter isEven)
существенно, что промежуточный список ленивый.
;-)
ЗП
Хаскелевское идеоматичное решение -
countEven = length.(filter isEven)
существенно, что промежуточный список ленивый.
;-)
countEven = length.(filter isEven)
существенно, что промежуточный список ленивый.
;-)
Идиоматическое ибо хаскель сам делает short cut fusion)
ЗП
filter и length выразимы через foldr, а его можно схлопнуть в один
NI
Но в целом, конечно, да.
Делается через одну свёртку.
Тоже достаточно идеоматично, в том числе, и для ps и для хаскеля.
Делается через одну свёртку.
Тоже достаточно идеоматично, в том числе, и для ps и для хаскеля.
R
Хаскелевское идеоматичное решение -
countEven = length.(filter isEven)
существенно, что промежуточный список ленивый.
;-)
countEven = length.(filter isEven)
существенно, что промежуточный список ленивый.
;-)
Почему именно Хаскелевское? Потому что в пурсе нет ленивости, и для него это решение оверхэд?
NI
Почему именно Хаскелевское? Потому что в пурсе нет ленивости, и для него это решение оверхэд?
Ага. Но в целом, правильно сделать свёртку, как и сказал тов. Зигохистоморфный.
ЗП
Ага. Но в целом, правильно сделать свёртку, как и сказал тов. Зигохистоморфный.
Кстати, если койонеда позволяет делать оптимизации для functor, profunctor, то есть ли подобное для foldable?
NI
Кстати, если койонеда позволяет делать оптимизации для functor, profunctor, то есть ли подобное для foldable?
Не знаю, но кажется, что можно придумать.
ЗП
Просто это было бы круто)
ЗП
Через какой-то ньютайп сделать
ЗП
Вот койонеда и для map и для dimap ок работает
2020 November 24
MK
Вот койонеда и для map и для dimap ок работает
Койонеда?
ЗП
ЗП
Это лемма, подвид общей теоремы репрезентативности