如果我有一个函数，比如，在单音T中，f1 :: T String，我想要使用它的结果，例如，打印它。seeF1 :: IO String res <- f1为什么这是错误的？似乎我不能使用f1，因为它不在monad IO中。那么，我该怎么做呢？
浏览 0提问于2016-08-11得票数 0
1回答
来自Haskell wikibook，我们有：import Control.Monad.Trans.State put newGenerator如果我们执行：然后我们得到一个Int的返回类型我知道这么多，但我想知道是否有可能将函数getStdGen访问的系统生成器
浏览 0提问于2014-12-28得票数 0
1回答
我正试图在haskell中使用Ubigraph，但我相信我的问题更常见。vs (drop i vs ++ take i vs) mapM_ (removeVertex) vs我得到了
无法与表达式中的stmt中的‘putStrLn’调用的返回类型Control.Monad.Trans.Reader.ReaderT
浏览 5提问于2011-04-27得票数 10
回答已采纳
这对Haskell的专业人士来说应该很容易。> let a = Just 5> print a但我想将I/O操作应用到可能的内部。我知道如何在不使用case的情况下做到这一点的唯一方法是：5
然而，这似乎太冗长了。首先，return ()是特定于I/O monad的，所以我必须为每个我想要尝试此技巧<
浏览 2提问于2011-02-08得票数 10
回答已采纳
1回答
来自： MonadIO(..)-- Any monad built by applying a sequence of monad transformers to the
-- 'IO' monadMonadI
浏览 8提问于2017-09-14得票数 1
回答已采纳
1回答
关于 libarary，m在Stream (Of a) m r中是什么？我怎样才能从文档中看出这一点(对不起，这里有个菜鸟)post :: Maybe Int ->S.print $ S.map (\x -> runClientM x url) stream• Couldn't match type ‘ClientM’ with ‘<
浏览 2提问于2018-05-15得票数 5
回答已采纳
我了解如何编写所有函数都位于Cont (Cont r a)中的程序，以及如何编写所有函数都位于Cont/ combined (ContT r IO a)组合中的程序。但我想知道如何编写一个程序，其中一些函数位于Cont/IO组合单元(ContT r IO a)中，而其他函数仅位于combined (Cont r a)中。基本上
浏览 10提问于2011-07-06得票数 9
回答已采纳
1回答
(只有在某些事情真正发生变化时才触发)。我想我可以把Interpreter String作为我行为中的状态，与currentAccumState >>= eval nextEvent一起积累，但是runInterpreter会在什么地方强制进行评估呢编辑：重要的是操作不仅仅是IO ()，而且应该修改某些状态。例如，考虑清除缓冲区/重置计数器/在拉链周围移动。我的想法是这样的：
f :: a -> Maybe (b -> <em
浏览 3提问于2015-10-12得票数 1
回答已采纳
1回答
如果我有一堆monads，比如IO、State和Error，还有一个只使用IO和Error的函数。如何从堆栈中“移除”中间的State monad，以便我可以使用我的函数？如果顺序是IO，Error，State，我可以使用lift来匹配类型，但是如果monad堆栈包含IO和Error，并且可能以任何顺序包含其他
浏览 0提问于2012-03-08得票数 11
回答已采纳
在深入研究monads之后，我理解它们是一个一般的概念，允许在某些上下文(失败、非决定论、状态等)中链接计算，并且它们背后没有魔法。
IO总是处于单台变压器链的底部。IO monad的实现还不清楚，源代码显示了一些Haskel
浏览 6提问于2016-04-13得票数 6
通过阅读一些代码，我有时会遇到以Monad为前缀的类型类，例如MonadState、MonadIO、MonadReader等。
但是MonadState允许什么呢？我不需要另一组同名的类型/类型，有人能解释一下吗？
浏览 2提问于2015-05-30得票数 3
回答已采纳
有没有类似于liftIO的对立面？我正在使用websockets，我希望能够在单独的线程中监听来自服务器的消息。这就是我要做的：import qualified Data.Text as TimportControl.Monadim
浏览 0提问于2013-05-09得票数 5
回答已采纳
2回答
我正在为一项任务写一份报告，其中我使用STM包实现了一个并发的多核分支和绑定算法，但我遇到了一个问题。使用STM的实现显然是在IO monad中，因为它同时使用STM的“原子”和并发的“forkIO”，但它是确定性的。尽管使用了共享内存变量，但对于相同的输入，函数的最终结果始终是相同的。我<e
浏览 0提问于2011-10-14得票数 1
回答已采纳
在最初的代码中，人们可以看到，我只是将一个表达式提取到一个绑定中，这是haskell声称应该始终能够实现的基本内容之一。最小情况(在freenode上@dminuoso的帮助下创建){-# LANGUAGE RankNTypes #-}
instance
浏览 3提问于2019-01-21得票数 3
回答已采纳
2回答
(st2, a2) = runOp (f a1) st1使用下面的函数我想将这个monad中的各种操作与IO操作结合起来。因此，我可以编写一个评估循环，在其中执行此monad中的操作，并使用结果执行IO操作，或者，我认为，我应该能够执行以下操作：
newtype Op a = Op {runOp :: ST ->
浏览 3提问于2010-09-04得票数 30
回答已采纳
我正在努力学习如何使用ST Monad。我想知道是否有可能在采取行动时打印值。例如，在Fibonacci中使用ST Monad函数fibST n | otherwise =@Vikstapolis建议使用IORef代替fibIO n
| n < 2 = pu
浏览 2提问于2022-02-04得票数 4
回答已采纳
假设我有一个简单的新类型声明我想要创建MonadBaseControl IO的Foo实例。这应该很容易，因为ReaderT Int已经是MonadBaseControl IO的一个实例。但是，使用GeneralizedNewtypeDeriving自动派生它不起作用，因为MonadBaseControl类有一个关联类型。
如何为Foo编写MonadBaseControl
浏览 9提问于2015-01-25得票数 15
回答已采纳
1回答
我使用State转换器来管理这样的全局状态StateT State IO () -> IO ConsumerTag
现在，我们可以忽略其他参数，但第三个参数，即我将提供的回调函数</
浏览 0提问于2018-05-04得票数 3
回答已采纳
我使用Mongodb库来处理来自MongoDB的数据。有一个名为Action的Monad，表示DB读或写操作https://github.com/TonyGen/mongoDB-haskell/blob/master/doc/tutorial.md。但是，我发现当我在Monad Action中，我也想做一些IO必须在IO mona
浏览 4提问于2015-04-02得票数 0
回答已采纳
要生成马尔可夫链，我使用以下代码。module Main where
import qualified Data.List as L outboundFor a k = fst (fst k) == a在收集统计数据并生成马尔可夫链对象之后编辑
如果有人感兴趣的话，那就没我想的那么难了。chain
浏览 2提问于2014-08-13得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
