Size: a a a

2020 December 15

K

Kir in Haskell
Ну, да, но это m (w, a)
источник

к

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

Стоп, (w, m a) ж не монада
ну собственно на этом этапе я и вспомнил про райтер
источник

K

Kir in Haskell
Для (w, m a) не написать >>=
источник

к

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

к

кана in Haskell
ну и имхо очевидно почему этого нет в transformers
источник

к

кана in Haskell
источник

K

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

к

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

к

кана in Haskell
мол почему этого нет в transformers
источник

к

кана in Haskell
и мой поинт в том, что его там нет, потому что в base нет понятия линз и траверсалов обобщенных, а без них такие вещи не очень понятны и удобны

и два примера в качестве пруфа неудобности и непонятности
источник

K

Kir in Haskell
А что оно там забыло-то?
источник

K

Kir in Haskell
кана
и мой поинт в том, что его там нет, потому что в base нет понятия линз и траверсалов обобщенных, а без них такие вещи не очень понятны и удобны

и два примера в качестве пруфа неудобности и непонятности
Потому что трансформерам 20 лет в обед?
источник

к

кана in Haskell
а трансформеры разве не обновляют вместо с mtl?
источник

a

adam in Haskell
а это часом не обобщение monad control?
источник

K

Kir in Haskell
adam
а это часом не обобщение monad control?
источник

K

Kir in Haskell
Не похоже
источник

K

Kir in Haskell
кана
а трансформеры разве не обновляют вместо с mtl?
Потому что лизны вне поля их определения. Для линз есть lens
источник

K

Kir in Haskell
Который и так объявляет волшебный zoom
источник

к

кана in Haskell
Kir
Потому что лизны вне поля их определения. Для линз есть lens
я не понимаю твой поинт, ты споришь со мной или нет
источник

к

кана in Haskell
я же сказал о том же, типа нет в этих либ этих функций, потому что линзы не base
источник