Size: a a a

2020 December 15

MK

Maxim Koltsov in Haskell
magnify ещё открой :)
источник

AV

Alexander Vershilov in Haskell
Maxim Koltsov
ужасные лучше чем никаких, не?
Ну там = никаких
источник

TZ

Timofey Zakrevskiy in Haskell
Magnify мне для  адвент-оф-кода не нужен
источник

AV

Alexander Vershilov in Haskell
Ошибка почти всегда одинаковая, из которой ничего не вывести полезного
источник

TZ

Timofey Zakrevskiy in Haskell
Я удивился, что в Control.Monad.State нет чего-то схожего
источник

AV

Alexander Vershilov in Haskell
Alexander Vershilov
Ну там = никаких
injected <|> wrapper
wrapper = WithField
     <$> o .: field
     <*> o .: "value"


Вот из-за этого wrapper теряются все полезные ошибки
источник

JS

Jerzy Syrowiecki in Haskell
Timofey Zakrevskiy
Я удивился, что в Control.Monad.State нет чего-то схожего
такого?
\f g m -> StateT $ fmap (second g) . runStateT m . f
источник

TZ

Timofey Zakrevskiy in Haskell
Jerzy Syrowiecki
такого?
\f g m -> StateT $ fmap (second g) . runStateT m . f
У уже ночь, я утром помедитирую над этим выражением.
источник

к

кана in Haskell
Yan Shkurinskiy
Насколько пагубно желание декодить результаты запросов в json чтобы не морочиться с типами иногда? .-.
да норм желание, с линзами все не так уж и плохо выходит
источник

YS

Yan Shkurinskiy in Haskell
кана
да норм желание, с линзами все не так уж и плохо выходит
Чешу репу, вроде тоже ничего страшного нет
Надо будет попробовать
источник

к

кана in Haskell
Timofey Zakrevskiy
Я удивился, что в Control.Monad.State нет чего-то схожего
потому что в base нет ярковыраженного концепта линз, и поэтому даже в практически самом простом (где самый простой это изоморфизм) случае придется передавать две функции
источник

K

KLH in Haskell
Maxim Koltsov
В ревью пр тебе кто тип покажет?
Как кто.., люди зря старались что-ли тут вот https://github.com/matsumonkie/izuna ?)
источник

K

Kir in Haskell
кана
потому что в base нет ярковыраженного концепта линз, и поэтому даже в практически самом простом (где самый простой это изоморфизм) случае придется передавать две функции
Если озвучить предложение внести линзы оптику в base в официальной обстановке, начнётся война на истребление
источник

к

кана in Haskell
ща сидел и пытался понять, как залифтить m a в (w, m a)
стал писать ньютайп вокруг пары чтобы трансформер сделать
источник

к

кана in Haskell
долго не мог догнать что я райтер пишу
источник

к

кана in Haskell
вспомнил про пару быстрее чем про райтер, это удивительно
источник

K

Kir in Haskell
> залифтить m a в (w, m a)

Стоп, (w, m a) ж не монада
источник

K

Kir in Haskell
m (w, a) же
источник

к

кана in Haskell
ну да, но первое это тоже монада
источник

к

кана in Haskell
Writer w (m a)
источник