Size: a a a

2020 November 27

к

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

AV

Alexander Vershilov in Haskell
круто!
источник

AN

Alexander N. in Haskell
@kana_sama тип для путя где-то внутри аесона есть, и даже экспортируется. И  я не помню — там вроде был вариант с / в качесвте разделителя (используется в raml и еще где-то)
источник

AV

Alexander Vershilov in Haskell
Я видел только в ошибках
источник

QZ

Quet Zal in Haskell
там JSONPath есть но это список по сути
источник

AN

Alexander N. in Haskell
ну так это тоже самое что у Каны в гисте
источник

MP

Misha Puzanov in Haskell
хм
а у State есть что-то похожее на ридеровский local? Типа взять копию стейта, поиграть и откатиться назад
источник

AV

Alexander Vershilov in Haskell
нет
источник

MP

Misha Puzanov in Haskell
впрочем это получается типа get »= runState
источник

MK

Maxim Koltsov in Haskell
Локал вообще сложная вещь в теории эффектов
источник

MK

Maxim Koltsov in Haskell
Скоупы сложно
источник

AV

Alexander Vershilov in Haskell
x <- get 
put (f x)
action
put x
источник

YS

Yan Shkurinskiy in Haskell
а есть теория эффектов? .-.
источник

MK

Maxim Koltsov in Haskell
Misha Puzanov
впрочем это получается типа get »= runState
Ну если без стека можно так, да
источник

MK

Maxim Koltsov in Haskell
Alexander Vershilov
x <- get 
put (f x)
action
put x
Опять же, в отсутствие исключений и вообще других эффектов
источник

MK

Maxim Koltsov in Haskell
Yan Shkurinskiy
а есть теория эффектов? .-.
Конечно, пеперы же пишут
источник

AV

Alexander Vershilov in Haskell
при исключениях ты всё теряешь
источник

AV

Alexander Vershilov in Haskell
какая разница
источник

MK

Maxim Koltsov in Haskell
Я про чистые исключения сейчас
источник

YS

Yan Shkurinskiy in Haskell
Maxim Koltsov
Конечно, пеперы же пишут
действительно
источник