Я написал следующий код. Он работает и использует монаду Reader . Не могли бы вы дать мне несколько советов о стиле кода в Haskell? В основном я имею в виду монады - я новичок. import Control.Monad.Reader data Tree a = Node a (Tree a) (Tree...

Изучая Монаду Читателя, я обнаружил, что она определяется как: newtype Reader r a = Reader { runReader :: r -> a } instance Monad (Reader r) where return a = Reader $ \_ -> a m >>= k = Reader $ \r -> runReader (k (runReader m...

Я собираю код из разных мест и пытаюсь решить следующее: Проблема У меня есть стек трансформатора следующего упрощенного типа: action :: m (ReaderT r IO) a и я пытаюсь использовать действие в контексте другого стека, который имеет...

Я пытаюсь понять монаду читателя, но, кажется, не могу понять, что делает bind (>>=) в этой монаде. Вот реализация, которую я анализирую: newtype Reader e a = Reader { runReader :: (e -> a) } instance Monad (Reader e) where return a...

Я пытался разобраться с монадой читателя и наткнулся на это руководство . В ней автор представляет такой пример: example2 :: String -> String example2 context = runReader (greet "James" >>= end) context where greet :: String...

Вот служба зависимости: public class Service1 {} Код Scala, который использует его через считыватель: object TupleEx { type FailFast[A] = Either[List[String], A] type Env[A] = ReaderT[FailFast, Service1, A] import...

Изменить: мы будем называть стрелку p чистой, если существует такая функция f , которая: p = arr f . Я пытаюсь лучше понять Arrows в Haskell и хочу выяснить, когда f >>> (g &&& h) = (f >>> g) &&& (f...

Я слежу за этот пост о монаде чтения в Haskell. Он начинается с определения: load :: Config -> String -> IO String load config x -> readFile (config ++ x) Где Config — это псевдоним типа для String, представляющий имя каталога....

Следуя и адаптируя эту запись в блоге , я пытался создайте решение, которое должно позволять тестировать функцию, которая читает env vars (используя System.Environment.lookupEnv ). Таким образом, я должен иметь возможность внедрить искусственную...