f
Size: a a a
2020 November 22
Oℕ
что такое монада.
ΛВ
что такое монада.
ну вопрос кстати разумный, там на F нет баунда про Monad
ΛВ
TelegramClient <: Monad?
Oℕ
ну вопрос кстати разумный, там на F нет баунда про Monad
NV
ну видимо Scenario монада всегда
Oℕ
TelegramClient <: Monad?
deriving Monad Scenario via Episode
ΛВ
deriving Monad Scenario via Episode
все понял, зря быканул
Oℕ
Переслано от fulcanelly
Кто знает скалу или этот патерн, можете обьяснить как и что здесь происходит?
Я понимаю какой должен быть результат выполнения но не понимаю как именно его достигли. Для возвращаемого типа eval и expect реализовали метод flatMap?
И еще непонятно что если клиент уже прошел какой-то сценарий, как он при следущем сообщении пропускает пройденные ?
Я понимаю какой должен быть результат выполнения но не понимаю как именно его достигли. Для возвращаемого типа eval и expect реализовали метод flatMap?
И еще непонятно что если клиент уже прошел какой-то сценарий, как он при следущем сообщении пропускает пройденные ?
Патерн называется "монада".
Да, для типа Scenario реализовали методы flatMap и статический pure
Как конкретно работает монада для подобного юзкейса в паре слов не объяснишь с нуля
Сначала скажите, какой у вас уровень понимания монад и фримонад
Да, для типа Scenario реализовали методы flatMap и статический pure
Как конкретно работает монада для подобного юзкейса в паре слов не объяснишь с нуля
Сначала скажите, какой у вас уровень понимания монад и фримонад
R
Патерн называется "монада".
Да, для типа Scenario реализовали методы flatMap и статический pure
Как конкретно работает монада для подобного юзкейса в паре слов не объяснишь с нуля
Сначала скажите, какой у вас уровень понимания монад и фримонад
Да, для типа Scenario реализовали методы flatMap и статический pure
Как конкретно работает монада для подобного юзкейса в паре слов не объяснишь с нуля
Сначала скажите, какой у вас уровень понимания монад и фримонад
а какие там уровни понимания монад могут быть?)
либо знаешь что такое монада, либо нет. разве ни?
либо знаешь что такое монада, либо нет. разве ни?
Oℕ
RAFIZ
а какие там уровни понимания монад могут быть?)
либо знаешь что такое монада, либо нет. разве ни?
либо знаешь что такое монада, либо нет. разве ни?
фримонады знаете что такое?
Oℕ
какой, например, тип процесса описывает Free[E => *, A]
Oℕ
если продолжить и ответить на вопрос - какой тип процесса описывает Free[ReaderT[F, E, *], A]
Oℕ
или Free[ReaderT[WriterT[F, List[Response], *], Request *], A]
f
Патерн называется "монада".
Да, для типа Scenario реализовали методы flatMap и статический pure
Как конкретно работает монада для подобного юзкейса в паре слов не объяснишь с нуля
Сначала скажите, какой у вас уровень понимания монад и фримонад
Да, для типа Scenario реализовали методы flatMap и статический pure
Как конкретно работает монада для подобного юзкейса в паре слов не объяснишь с нуля
Сначала скажите, какой у вас уровень понимания монад и фримонад
вообще не знаю монады
Oℕ
можно понять как с помощью монады можно описать диалоговый процесс
Oℕ
вообще не знаю монады
ну тогда, быстро не объяснить - но да, по сути вы конструируете элемент типа данных, который описывает процесс и внутри себя содержит обработки переходов на следующий шаг, входящих сообщений, фильтров и т.п.
Oℕ
RAFIZ
а какие там уровни понимания монад могут быть?)
либо знаешь что такое монада, либо нет. разве ни?
либо знаешь что такое монада, либо нет. разве ни?
ну я перепонимал монаду раз 7 в своей жизни
f
ну тогда, быстро не объяснить - но да, по сути вы конструируете элемент типа данных, который описывает процесс и внутри себя содержит обработки переходов на следующий шаг, входящих сообщений, фильтров и т.п.
а если вдруг понадобится вынести состояние в дб ? тогда получается придется модифицировать этот тип данных ?
f
не мы же управляем стейтом а он выходит