getString :: IO String
results <- getString then return $ Just $ f sEDIT:一个后续问题:如果pred和f都在IO中返回结果，该怎么办(我应该将其拆分成一个单独的问题吗？)getString ::
浏览 1提问于2011-10-08得票数 17
回答已采纳
1回答
>>=的类型签名如下：以下几点对我来说是有意义的(这也是单一法则之一)：(>>=) (Just 1) id :: Num (Maybe b) => Maybe b
由于id上的类型签名是(a -> a)，而不是Monad
浏览 2提问于2015-02-12得票数 0
回答已采纳
7回答
也许monad和例外
、、、、
我想知道Maybe 蒙纳德相对于例外有什么好处？看起来Maybe只是try..catch语法的显式(更确切地说是占用空间)的方式。
请注意，我故意不提Haskell。
浏览 0提问于2012-05-30得票数 40
回答已采纳
1回答
据我所知(和理解单子的全部意义)，没有办法组合不同的单子，比如(Monad M, Monad N => M a -> (a -> N b) -> N b)。(Auth是一个FromJSON数据结构，用于托管授权密钥和令牌) connect = do
...building也许IO不是最好的monad？的FromJSON实例(由使用htt
浏览 5提问于2019-05-30得票数 1
也许我在做一些愚蠢的事情，但我得到了： arising from a use of `getInputLine'import System.Console.Haskelineimport Control.Monad.Stateimport Control.Monad.IO.Class
type Ti = StateT
浏览 0提问于2013-06-05得票数 5
回答已采纳
我正在处理一个库(ghcjs-dom)，其中每个函数都返回一个IO (Maybe T)。
我有一个函数a，它返回一个IO (Maybe x)和函数b，它以x作为参数并返回IO (Maybe y)。b并获得一个IO (Maybe y)。我的胡格尔搜索一无所获。我看起来像join，它适用于IO (Maybe (IO (Maybe t)))，而不是IO (IO t)或Maybe (Maybe t)。
浏览 0提问于2016-08-02得票数 5
回答已采纳
Control.Failure.Failure Control.Monad.IO.Control.MonadControlIOinstance declarations for Control.Monad.IO.Control.MonadControl
浏览 0提问于2011-09-14得票数 2
回答已采纳
有人能演示一下如何在阅读器monad中使用snap monad吗？Monad transformers把我搞糊涂了。(或者，我会很高兴地接受有关monad transformers的教程的建议，以及了解并最终摸索它们的方法。)
编辑:糟糕；忘了说明我实际上想做什么，而不是请求帮助做一件具体的事情。战略，而不是战术。看起来阅读器monad将是实现这一目标的方法。
浏览 0提问于2011-02-07得票数 4
回答已采纳
1回答
IO monad似乎并不是特定于强类型语言的。具体来说，在我看来，用动态类型的语言实现IO monad并不困难或具有革命性。因此，只需要限制语言，使所有IO操作都能在IO monad中生成操作。话虽如此，我还没有看到任何语言(也许我只是找得不够仔细)，它们是动态类型的，但是使用monad隔离副作用。有什么理由这样做吗？(或者说它们存在？)
浏览 4提问于2014-07-10得票数 5
回答已采纳
我们可以选择用哪种语言编写代码和测试。我选择哈斯克尔。我知道，也许不是学习测试的最好方法。但我也被要求使用嘲讽来获得更高的分数。我的问题是我不太了解Haskell (比如Monad之类的东西)。
我已经编写并测试了计算器。现在我想测试我的主菜。我的老师用Mockito for Java来检查程序是否有正确的流程。我试过阅读通过Monad测试IO操作的内容，但我不太明白。也许我应该在尝试解决这个问题之前多了解一下Monad</em
浏览 0提问于2019-11-07得票数 3
回答已采纳
1回答
从中我了解到，do表示法只是一元风格的语法糖；在中，我读到的大致相同；所以我的理解是，如果没有Monad实例，就不可能有任何do表示法。 fmap f action = action >>= return . f
这意味着下面的假设：IO首先是Monad的实例；这违背了这样一个事实，即每个Monad都是一个Functor，而不是相反的。换句话说，上面的
浏览 6提问于2020-07-22得票数 2
回答已采纳
1回答
IO单端复单端变压器
、、、、
type SaveOperation[F[_]] = Employee => F[Int]
But method catsDataMonadErrorForKleisli in class KleisliInstances0_5 does not match type cats.Monad这个错误对我来说似乎没有意义，因为对于这两个函数，签名实际上是完全相同的，所以monad应该存在。我怀疑问题在于Ask[F, Sa
浏览 4提问于2021-10-07得票数 3
回答已采纳
2回答
我试图用Applicatives和Either Monad验证一个Either Monad的构造。效果很好。但我不能看到所有的错误信息。只有第一个是可见的，因为Either Monad的Either Monad路径忽略了它们。Maybe Record case r of Left _ -> Nothing
main' = putStrLn
浏览 4提问于2020-08-10得票数 3
回答已采纳
我设法为monad转换器MaybeT编译代码。(我在跟踪)p :: Show a => MaybeT IO a -> IO () print a'我不能让它从MaybeT IO内部打印出来吗？下面是May
浏览 7提问于2022-04-29得票数 0
回答已采纳
program: \n" ++ show prog) $ concat $ s1maybe_compile_prog ::但是，如果这就是问题所在，那么我不知道如何将这
浏览 0提问于2013-05-21得票数 6
回答已采纳
下面的函数f通过两次使用IO (Maybe Int)函数尝试读取Int两次，但在成功读取一个Int之后执行“短路”。readInt :: IO (Maybe Int)
f = do case n1 of
Just n' -> return(我的思维过程:看到这个“楼梯”告诉我，也许我应该使用Monad实例Maybe，但是由于它已经在IO monad中了，所以我
浏览 6提问于2015-01-24得票数 7
回答已采纳
3回答
特别是，我需要能够组合CGI monad和IO monad，但如何组合IO monad和可能monad的示例可能会更好……
浏览 58提问于2009-07-14得票数 19
= new Monad[IO] { def bind[A,B](a: IO[A], f: A => IO[B])这是一个，因此它需要定义scalaz.Monad特征的pure和bind抽象值。
pure接受一个值，并将其转换为包含在“容器”类型中的值。例如，它可以接受一个Int并返回一个List[Int]。bind接受一个“容器”类型和
浏览 0提问于2011-09-14得票数 5
回答已采纳
deleteFile("/tmp/file.dat")为了讨论这个问题，让我们考虑一下，这些函数遵循单一责任原则，而且modifyFile只是一个驱动程序，它“集成”并促进了操作系统、文件系统和web
浏览 0提问于2015-03-26得票数 0
云服务器
ICP备案
对象存储
云点播
实时音视频
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号