Бих искал да задам стойност в карта на 2 нива - т.е. към ключ в карта, който е стойност за някакъв ключ във "външна" карта. За обикновена карта бих могъл да използвам нещо като m & at 42 ?= "value" Но не можах да намеря никакъв начин за влагане...

Трябва да манипулирам и модифицирам дълбоко вложени неизменни колекции (карти и списъци) и бих искал да разбера по-добре различните подходи. Тези две библиотеки решават повече или по-малко един и същ проблем, нали? По какво се различават, за какви...

Това, което следва, е поредица от примери/упражнения върху лещи (от Едуард Кмет) в MonadState, базирани на решението на Петр Пудлак на предишния ми въпрос. Освен че демонстрират някои употреби и силата на лещите, тези примери показват колко трудно...

Да предположим, че имам масив като този: [1, 2, 3, 4] Как бих променил само четните стойности с помощта на пакета с обективи? Търся нещо като: filterLens even (+10) $ [1, 2, 3, 4] => [1, 12, 3, 14]

Има ли пряк път за това в библиотеката на обективите? \x -> liftM (^. x) get Може би това е глупав въпрос, но изглежда като достатъчно проста конструкция, за да има пряк път за нея.

Опитвам се да свикна с библиотеката lens за Haskell и откривам, че се боря с някои прости проблеми. Например, да кажем (за удобство), че at и _1 имат следните типове (поне така ги разбирам аз): at :: Ord k => k -> Lens' (Map k v)...