我有：doThings :: String -> IO [()]stuff >>= doThings
但是我的类型是关闭的。我本质上想做一个解除绑定，但我尝试的每一件事都是微妙的错误。
浏览 0提问于2016-08-15得票数 0
回答已采纳
1回答
haskell transformers库提供了MonadIO类和liftIO来提升单个转换器堆栈中的IO操作。在我看来，ST monad也可以这样做，但我在任何monad转换器库中都找不到它。如何将ST monad与例如MaybeT或ReaderT结合使用
浏览 5提问于2022-09-19得票数 5
1回答
在通过和使用任务之后，我想使用IO monad，但似乎找不到它。考虑到民间故事有多么丰富，我很惊讶，也不知道我是不是没看到它。
民间故事中有IO单曲吗？
浏览 5提问于2015-11-08得票数 4
deleteFile("/tmp/file.dat")为了讨论这个问题，让我们考虑一下，这些函数遵循单一责任原则，而且modifyFile只是一个驱动程序，它“集成”并促进了操作系统、文件系统和web
浏览 0提问于2015-03-26得票数 0
不管是好是坏，Haskell的流行的库使得在涉及ExceptT err IO的单台转换器堆栈中运行代码成为常见的地方。仆人自己的处理程序monad是ExceptT ServantErr IO。作为Ed的库
基于连续的monads，以及提供多个故障模式的ErrorT e IO等堆栈，都是此MonadMask类的无效实例。我对它不是很熟悉，但有些人说解决方案是使用monad-control，很多合作伙伴库(如lifted-base<em
浏览 0提问于2016-11-02得票数 16
回答已采纳
1回答
在和Mark的示例中，我第一次看到了作为构建纯代码和IO代码之间边界的一种方法的免费monads。我想知道这是否重复了Haskell运行时已经在使用IO monad所做的工作。如果我认为IO不是什么特别的东西，而是一个普通的Monad，它的绑定函数>>=通过IO中的所有一元操作来序列“真实世界”的状态，那么这个排序本身并不提供任何计算(正如出色的答案中对免费Monad的
浏览 8提问于2020-05-15得票数 10
回答已采纳
2回答
这是一个与API设计实践相关的问题，用于为Haskell库定义您自己的Monad实例。我以haskell库的两个例子为例，它的目的是使用带有数据库后端的IO。我举的例子是用于Riak的和用于Redis的。在hedis中，Redis monad .在那里，您使用redis运行IO，如下所示：runRedis :: Connectiona
wit
浏览 6提问于2013-04-17得票数 13
回答已采纳
在"Haskell编程从首要原则“一书中，有人说：
Haskell的旧实现是如何在不使用Monad的情况下构造<
浏览 7提问于2022-11-13得票数 1
回答已采纳
4回答
如果我理解正确的话，Haskell中的异常基本上是打算在IO monad中处理的。至少可以在IO monad内部捕获异常。然而，我不希望仅仅为了抓住可能的异常而更改函数的签名，因为在这种情况下，我必须通过调用堆栈更改所有函数的签名。
在Haskell中，是否有一些模式可以更轻松地处理异常，而不是IO monad？在这种情况下，我是否应该使用unsafePerformIO？如何“安全”地使用unsaf
浏览 2提问于2012-01-06得票数 6
回答已采纳
3回答
我正在研究一些介绍性的Haskell材料，目前正在学习Monad。我从概念上理解，>>=运算符的类型是：main = getLine >>= \xs -> putStrLn xs
因为我们知道getLine :: IO String，所以我假设它可以与String -> IO String类型
浏览 6提问于2014-10-14得票数 3
回答已采纳
2回答
我只是在学习Haskell和monad变压器，我发现自己有一个IO (IO ())，我想把它压成IO ()。我肯定我做错了什么，但不能准确地指出我迷路的地方。userInput :: Monad m => ReaderT (IO String) m (IO String)
echo :: Monad m => ReaderT(IO String) m (
浏览 0提问于2018-12-27得票数 3
回答已采纳
在学习Haskell的基础知识时，我决定用看似简单的任务来挑战自己--编写一个程序，如果输入不是空字符串，就将用户输入推到堆栈中，或者弹出堆栈中的值，如果输入是空字符串，则将其打印给用户。如果程序试图从空堆栈中弹出，程序将退出。import Control.Monad
import Control.Monad.Trans.C
浏览 0提问于2018-08-13得票数 3
IO在Haskell中很棘手。线程、FFI、异步异常、懒惰等等。为什么它会存在？如果你真的需要执行任意的副作用，为什么不构建一个自定义的monad IO呢？
浏览 21提问于2018-09-29得票数 4
1回答
在开始学习Haskell之后，即使在阅读了大量文档之后，我仍然无法理解Haskell中的一些东西。我知道要执行IO操作，您必须使用一个"IO monad“，它将一个值包装在某种”黑匣子“中，所以使用IO monad的任何函数仍然是纯功能的。好吧，好吧，但是IO操作在哪里发生呢？这是否意味着Monad本身并不是纯功能性的？或者IO操作是否实现了，比如说在C中，以及H
浏览 3提问于2017-01-24得票数 3
回答已采纳
在最初的代码中，人们可以看到，我只是将一个表达式提取到一个绑定中，这是haskell声称应该始终能够实现的基本内容之一。ScopedTypeVariables #-}
f1 g = do
l
浏览 3提问于2019-01-21得票数 3
回答已采纳
我想用模板Haskell来处理Q monad中的状态。根据一些堆栈溢出的答案，有一个使用unsafePerformIO的解决方案，但我希望尽可能避免使用它。下面的代码就是我的问题的一个例子。我希望x绑定到(Just B)，但x始终为Nothing。import
浏览 1提问于2015-07-01得票数 7
在我的业务领域-金融机构的后台IT -软件组件携带全局配置，记录其进度，出现某种错误处理/计算短路，这是非常常见的……可以由Haskell中的Reader，Writer，或者可能是monad之类的东西很好地建模，并与monad transformers组合在一起。但似乎有一些缺点: monad转换器背后的概念相当棘手和难以理解，monad转换器导致非常复杂的类型签名，并且它们会造成一些性能损失。所以我想知道:在处理上面提到的那些常见任务时，monad tran
浏览 2提问于2010-05-04得票数 54
回答已采纳
1回答
我对Haskell中的数据类型有一点问题，我想我应该先发布一些代码来帮助理解这个问题testexpression3 :: Expr我像这样使用辅助函数经过一段时间的测试后，我认为这是我所使用的Monads的问题。
如果我像这样测试助手函数的类型：&q
浏览 0提问于2014-07-04得票数 1
免责声明:我对Haskell的无知几乎是完美的。对不起，如果这是非常基本的，但我找不到答案，甚至是这样的问题。而且我的英语也没那么好。据我所知，如果在系统中有一个与文件系统交互的函数，则该函数必须使用IO monad，并且具有类似于IO ()的类型。在我(仅面向业务的)经验中，系统通常与文件系统交互，以便使用业务数据读取/写入文件，并进行日志记录。
在商业应用程序中，日志记录无处不在。因此，如果我用Haskell编写了一个系统(我很长一段时间不这么做)，那么几
浏览 3提问于2014-07-11得票数 6
回答已采纳
众所周知，IO Monad在Haskell中将纯代码与不纯代码分开，因此像f :: ... -> IO ?这样的签名代表了一个有副作用的操作，否则它是一个纯函数。此外，monads在Haskell中被用作一种纯函数机制来对操作进行排序，否则可能会被设计为仅处理纯函数的编译器意外地重新排序。围绕monads的设计的问题是，对于许多人来说，它们似乎很难理解，可能包括我自己，所以我想知道它们是否是在软件开发中区分纯代码和不纯代码的最佳方式。我猜想，如果我们有一种语言，所有的原语都被标记为
浏览 5提问于2015-09-15得票数 1
云服务器
对象存储
ICP备案
云点播
实时音视频
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号