monad-transformers 相关问题

Monad变换器是组合monad的抽象。这允许您组合不同的计算效果,建立精确控制的计算环境。

如何在haskell中使用泛型类型的函数

我有一些代码从队列中读取数据。我希望函数能够将回调函数作为参数,回调函数基本上包含有关如何处理的代码...

回答 1 投票 0

为什么我们需要Scala中的Monad变形金刚?

我的理解如下:假设M1和M2是monad,即它们提供符合monadic定律的函数unit和flatMap。不幸的是我们无法为M1创建unit和flatMap [...

回答 2 投票 8

throwE和catchE与monadic堆栈底部的ExceptT monad

假设我有一个这样的monadic堆栈:import Control.Monad.Trans.Reader import Control.Monad.Trans.Except import Control.Monad.Trans type MyMonad = ReaderT Env(ExceptT String IO) - Env是......

回答 1 投票 1

拥有IO和Maybe的Monad变形金刚

我正在尝试堆叠IO和Maybe monads,但要么我不太了解monad变换器,要么就是不可能使用变换器。有人可以帮我理解这个吗? f :: String -...

回答 1 投票 0

如何从ContT派遣不同类型?

我想基于ContT创建一个通用的IO形式。我创建了一个GADT来表示不同的IO动作:data Cmd a putChar :: Char - > Cmd()GetChar :: Cmd Char我写了一个函数...

回答 1 投票 1

为什么monad变换器与堆叠monad不同?

在许多情况下,我不清楚将两个monad与变压器组合而不是使用两个单独的monad可以获得什么。显然,使用两个单独的monad是麻烦,可以......

回答 2 投票 20

为什么我需要为WriterT State提供这么多内存?

试图掌握我试图使用WriterT和State解决Haskell练习的概念(它是代码第15天的出现)。由于某种原因,我不明白我最终使用负载......

回答 1 投票 0

© www.soinside.com 2019 - 2024. All rights reserved.