AV
Не линзами я и так умею
filtered (_Left . _Stuff . to(==X)) и будет удобненькоSize: a a a
2020 May 20
AV
На самом деле там в предикате сложно добираться до данных, удобно сделать призмой, тогда можно написать:
AV
Ещё и в середине пайплайна
AV
А может и неудобненько, но для того, чтобы оценить нужно уметь это сделать
MK
если foldl это катаморфизм, то что такое scanl?
K
если foldl это катаморфизм, то что такое scanl?
Это размазанная cata
AV
М for Математичность
MK
а кто как любит выравнивать длинные лямбды в map?
AV
Полный вопрос в студию
K
map \k ->
map \f ->
let x = ...
in x + 2
MK
map (\(a, b, c, (d, e) ->
some
long
application
$ chain of
$ functions
) aList
MK
как бы вы отформатировали
K
BlockArguments - вещь, рекомендуюMK
Kir
BlockArguments - вещь, рекомендуюа их разве можно не-последним аргументом?
к
map (\(a, b, c, (d, e) ->
some
long
application
$ chain of
$ functions
) aList
aList <&> \(a, b, c, (d, e)) ->
..aList & fmap \(a, b, c, (d, e)) ->
..
flip fmap aList \(a, b, c, (d, e)) ->
..K
а их разве можно не-последним аргументом?
Так они тут последние. Я ещё
flip map \x -> ... делаю иногдаMK
Kir
Так они тут последние. Я ещё
flip map \x -> ... делаю иногдакак это последние, если последний — список
K
Напоминаю, у нас тут у функций не более 1 аргумента
MK
гхц с тобой не согласен
K
И шо?