VY
Size: a a a
2018 July 19
AK
Скажите, а что можно почитать про имплементацию сложных API (операции над древоподобными структурами например) на таких языках как PS? Ну вот типа Trello Monad in the Dark
VY
я вроде прочитал по диагонали, но не особенно вдавался в детали, но там расчет на читателя из жс мира, т.е все довольно обычно: Aff, ReaderT
мне обычно ничего сложнее чего-то типа такого
мне обычно ничего сложнее чего-то типа такого
sequence ⊙ parTraverse (API.getTicker currencies) symbols не требуется, и у меня есть AppM:
newtype AppM a = AppM (ReaderT Environment Aff a)
AK
мне не очень понятно как делать API для структур типа:
Structure { things: List Thing, somethingRelatedToOtherThings: ... }
Thing { otherThings: List OtherThing }
build = do
thing <- addThing ...
otherThing <- addToThing thing ...
modifyThing thing ...
modifyOtherThing otherThing ...
pure ..
VY
а эти
вроде все как обычно: в
addThing, addToThing это:... → Aff (Either Error Thing)
Thing → ... → Aff (Either Error Thing)
соответственно? или что-то другое?вроде все как обычно: в
-parallel есть вот эти все ф-ции parallel, parTraverse, sequential, etc, если нужно как-то конкурентно что-то делать со структурами данных (точнее "for parallel composition and racing of asynchronous computations" %)), в -aff есть runAff, forkAff, launchAff, fiber, ... , etc для работы с асинхронными эффектамиVY
или не понятно как парсить из жсона такие структуры?
AK
а эти
вроде все как обычно: в
addThing, addToThing это:... → Aff (Either Error Thing)
Thing → ... → Aff (Either Error Thing)
соответственно? или что-то другое?вроде все как обычно: в
-parallel есть вот эти все ф-ции parallel, parTraverse, sequential, etc, если нужно как-то конкурентно что-то делать со структурами данных (точнее "for parallel composition and racing of asynchronous computations" %)), в -aff есть runAff, forkAff, launchAff, fiber, ... , etc для работы с асинхронными эффектамивсе функции планировал как
... -> Structure -> Structure. Но может быть и Aff, да. Параллельно/конкуррентно не надо, последовательно подойдёт, посмотрю, спасибоAK
Не понятно какие тайпклассы отнаследовать, чтобы так можно было сделать :)
AK
И можно ли так сделать вообще
AK
Ну то есть тип
Structure можно менять свободно, главное чтобы там этот рекорд был и чтобы Structure менять и на modifyOtherThing и на addToThing...AK
Комонады? :)
VY
для разбора жсона я пользуюсь argonaut-core + argonaut-codecs, какое-то время назад пользовался
-simple-json, но я слишком тупой для него и как только нужно сделать что-то по-своему я затупливал на часы, поэтому щас просто пишу явно все ручкамиAK
не, JSON не при чём вроде
AK
хотя что-то есть похожее
AK
в подходе
AK
не, при декодинге не нужно позже менять то, что уже декодировано