документация для Free говорит: Ряд обычных монад возникает как свободные монады, Учитывая data Empty a , Free Empty изоморфна монаде Identity . Free Maybe можно использовать для моделирования парциальной монады, где...

Может ли существовать mtl-подобный механизм для преобразователей монад, созданных FreeT / ProgramT? Я понимаю историю следующим образом. Давным-давно был изобретен преобразователь монад. Потом люди начали складывать монадные преобразователи один...

Раньше я думал, что часть цели реализации состояла в том, чтобы избежать этой самой проблемы, так что, может быть, я делаю что-то явно глупое? Вот код: // Stack overflow import scalaz._ sealed trait Command[T] case class Wait(ms: Long)...

Недавно возник вопрос о связи между DList ‹-> [] и Codensity ‹-> Free . Это заставило меня задуматься, а есть ли такое для MonadPlus . Монада Codensity улучшает асимптотическую производительность только для монадических операций, но не...

Можно преобразовать свободную монаду в любую другую монаду, но, учитывая значение типа Free f x , я хочу распечатать все дерево, а не отображать каждый узел AST, сгенерированный в какой-либо другой узел в другой монаде. Габриэль Гонсалес...

Габриэль Гонсалес в своем сообщении в блоге описывает способ для очистки кода с помощью бесплатных монад. Допустим, у нас есть FreeMonadIO a , тогда мы можем написать разные интерпретаторы, например, один для целей тестирования, а другой для...

(ОБНОВЛЕНО) Я создал интерфейс с помощью Free Monad для универсального хранилища данных. Я хочу поместить конкретный интерпретатор (:: DataStore a -> IO a), выбранный пользователем во время выполнения, в монаду состояния вместе с некоторой...

Если у меня есть значение a: Free[Op, A] , возможно ли «сгладить» структуру a так, чтобы два Op , связанных вместе свободной монадой, могли быть объединены в один? Контекст: я хотел бы выполнить это как шаг оптимизации перед интерпретацией,...

Я пытаюсь начать использовать бесплатные монады в своем проекте, и мне трудно сделать его элегантным. Допустим, у меня есть два контекста (на самом деле у меня их больше) - Receipt и User - оба имеют операции с базой данных и Я хотел бы, чтобы...

В пакете purescript-free есть пример кода, определяющий этот интерпретатор: teletypeN :: forall eff. NaturalTransformation TeletypeF (Eff (console :: CONSOLE | eff)) teletypeN (PutStrLn s a) = const a <$> log s teletypeN (GetLine k) = pure...

В статье «Конвейеры сопрограмм» в Monad.Reader Issue 19 автор определяет универсальный тип Coroutine : newtype Coroutine f m a = Coroutine { resume :: m (Either (f (Coroutine f m a)) a) } Я заметил, что этот тип очень похож на версию...

Я использую freer-simple для написания очень простого DSL. Все, что он делает, это читает файл. У меня есть одно правило относительно имен файлов, они не могут содержать букву x. Любая попытка открыть файл с буквой x приведет к ошибке: Left...

Пакет streaming предлагает функцию zipsWith zipsWith :: (Monad m, Functor h) => (forall x y. f x -> g y -> h (x, y)) -> Stream f m r -> Stream g m r -> Stream h m r и немного более обтекаемая версия,...

Мне кажется, я придумал интересный "быстрый" экземпляр Applicative для Free . data FreeMonad f a = Free (f (FreeMonad f a)) | Return a instance Functor f => Functor (FreeMonad f) where fmap f (Return x) = Return (f...

Я думаю о случае использования бесплатной монады , которая была бы простым лексическим DSL. Пока я придумал несколько примитивных операций: data LexF r where POP :: (Char -> r) -> LexF r PEEK :: (Char -> r) -> LexF r FAIL ::...