MP
угу
Size: a a a
2020 November 16
MP
не то чтобы мне прямо сильно мешает написать пару скобок, просто вдруг есть уже всякие крутые линзы для подобного
MK
Есть стейт, то
use $ typed @AppMetricsAR
z <- read <&> view typedТип сам из использования значения поймёт :)
Либо, там, вроде,
views подходящий был?Тогда
z <- views (typed @Foo)Или что там для ридера работает...
MK
Для ридера
view линза простоAR
Там было что-то что позволяет read и принимает линзу. С телефона, в поезде, не знаю :)
MK
use :: MonadState s m => Lens s a -> m a если чтоMK
Там было что-то что позволяет read и принимает линзу. С телефона, в поезде, не знаю :)
Это что-то -
view :)MP
о круто, спасибо
t
А чего по хаскелю почитать можно, чтобы уметь какой-никакой прод на нем писать
MK
А чего по хаскелю почитать можно, чтобы уметь какой-никакой прод на нем писать
Functional design and architecture
MP
кхм
AV
Этот чатик
MP
use :: MonadState s m => Lens s a -> m a если чтосамое то
AV
Functional design and architecture
Ты ведь правда это предлагаешь? А ведь новички могут спрашивать
MK
самое то
Посмотри ещё на zoom и magnify, бывают полезными
YS
Ты ведь правда это предлагаешь? А ведь новички могут спрашивать
Ну так какой-нибудь прод напишет)
YS
Ровно то, что просили
AV
Какой-нибудь прод можно написать ничего не читая
YS
Какой-нибудь прод можно написать ничего не читая
Так просили что-нибудь почитать!