monad-transformers 相关问题

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

关于 Monad Transformer Stack pipeline 中不同步骤的不同要求

我在之前的一个问题中接受的激光聚焦答案既令人费解又具有启发性，就在我重新打开我的 Real World Haskell （多好的一本书！）并决定额外阅读

haskell functional-programming monad-transformers state-monad reader-monad

回答 1 投票 0

在 Haskell 中根据状态过滤列表

我一直在研究 ListT 的实现，以找到一种好方法来做这样的事情：函数列表=做设置 <- get -- Data.Set el <- list guard $ Set.notMember el set return el...

list haskell monad-transformers state-monad

回答 1 投票 0

关于选择在何处应用 monad 转换器的 monad 参数

采用 MaybeT monad 转换器： newtype MaybeT m a = MaybeT { runMaybeT :: m (Maybe a) } 我没想到它会有不同的定义，因为 Maybe 只是一个带有 (opti...

haskell functional-programming monad-transformers state-monad io-monad

回答 1 投票 0

C++23的Optional::transform和Optional::and_then有什么区别？

C++23 添加了一些关于可选值的“一元式”功能，作为可选方法：可选::and_then()（并忽略其限定符）：模板

c++ monads monad-transformers stdoptional c++23

回答 3 投票 0

哈斯克尔。尽管使用了 list-t 的 ListT (State s)，但没有看到惰性

我有一个遍历非确定性搜索空间的场景，访问次数有上限。使用 ListT (State Int) a，我已经成功实现了这一点。我的期望是，ap...

haskell lazy-evaluation monad-transformers state-monad non-deterministic

回答 1 投票 0

在 Haskell 中注册信号处理程序，并根据状态执行操作

我有一些函数 app :: StateT AppState IO () ，它在进行大量计算和 IO 的同时维护一些应用程序状态（我已经定义了 main = void $ runStateT app initialState ）。我想要...

haskell functional-programming monad-transformers

回答 1 投票 0

状态 Monad - HASKELL

类型状态 = Int newtype ST a = S (状态 -> (a, 状态)) 数据树 a = 叶 a |节点（树a）（树a）推导（显示） app :: ST a -> 状态 -> (a, 状态) app (S st) s = st s mlabel :: Tr...

haskell monad-transformers state-monad

回答 1 投票 0

首次运行时发生短路时 Monad 变压器回路失效

我在 haskell 中有一个 RWST，而不是 Maybe，它在某些条件下会短路。我想运行这个操作直到它返回Nothing，并得到最后一个Just。所以我的情况如下；类型...

haskell monad-transformers

回答 1 投票 0

理解 Haskell 中的 RWST

我研究了这个，试图理解几个 Transformer monad 是如何相互作用的，特别是更好地理解 monad 的 lift 和 stacking。对于在这里找到的 RWST 单子（我...

haskell functional-programming monads monad-transformers state-monad

回答 1 投票 0

`Reader a (b -> c)` 和 `b -> Reader a c` 之间有什么区别吗？

（其他一些mtl monad也会带来同样的问题，但我们这里仅使用Reader来举例）假设我需要以人类可读的方式展示一些内容，以及实现和行为详细信息......

haskell monad-transformers reader-monad

回答 1 投票 0

在 Haskell 中应用更改到外部 Monad，而不使用 Transformer monad

我正在尝试做类似以下的事情，如果 State-Monad 的状态不满足特定条件，我想返回错误消息，是否可以在不使用 lift 的情况下完成

haskell functional-programming monads monad-transformers state-monad

回答 1 投票 0

变压器处理空值

用户 ID |活动 |日期 |金额 |持续时间（分钟）| 124556。登录02/23。不适用。 23. 124556。提款02/28。 500 2. 124556。登录 03/02。不适用。 12. 124556....

nlp transformer-model monad-transformers

回答 1 投票 0

要么没有正确向上转换为共同特征超类型（Scala 3）

当将 for 理解与 EitherT 链接时，编译器在将我的错误向上转换为它们的共同祖先类型时遇到问题。我的代码中有以下类型定义：密封特征错误

scala scala-cats monad-transformers

回答 1 投票 0

底层 Parsec Monad

我使用的许多 Parsec 组合器属于以下类型： foo :: CharParser st Foo CharParser 在这里定义为：类型 CharParser st = GenParser Char st 因此，CharParser 是一个类型同义词，涉及...

parsing haskell monads monad-transformers

回答 2 投票 0

如何在 monad 转换器堆栈中建模可变键/值映射？

这是一道设计题。我目前有一个“App”类，它是一个 monad 转换器堆栈，我想添加到该堆栈的是一个可变的键/值存储。到底是怎么回事……

haskell monad-transformers

回答 0 投票 0

不知道Applicative是不是通过MonadTransformer的Monad自然衍生出来的

从类型约束的角度来看，Monad是从Applicative派生出来的，这和我在题目中写的是相反的。但是，这不是错误。在研究 Monad 的时候，我检查了所有 ...

haskell monads monad-transformers applicative

回答 0 投票 0

C++ lambda 如何在右值引用成员函数中移动捕获 *this？

我们可以在 C++ 中移动捕获变量，如下所示。字符串 ; auto f = [s = std::move(s)](){ /* 做某事 */ }; 我们可以按如下方式复制捕获。 auto f = [*this](){ /* 做某事 */ }; 但是如何...

c++ functional-programming monads monad-transformers combinators

回答 1 投票 0

组成 monad 变压器堆栈

假设我有两个 Haskell 库，每个库都有一种计算类型，LibA 和 LibB。它们都是堆叠在 IO monad 之上的 monad，使用 ReaderT monad 转换器实现：进口

haskell monads monad-transformers

回答 0 投票 0

MonadTransControl支持STM吗？

我正在寻找一种在STM.atomically内部使用单体变换器的标准方法。我觉得这听起来很奇怪，因为到目前为止，我找到的所有用例都只是 liftIO .atomically，并传递裸露的 "STM a"，而没有......

haskell monads monad-transformers

回答 1 投票 1

如何在 "ExceptT e m a "do块中运行 "m (Either e a) "动作？

第一次尝试使用变换器（算是），我试图使用以下函数：getEnvList :: Text -> IO (Either String [Text])，在类型为EitherIO的do块中，a = ExceptT ...。

haskell monad-transformers

回答 1 投票 2

monad-transformers 相关问题

最新问题