我正在做一些练习，试图更好地理解Monad及其在Haskell中的绑定操作。为了做到这一点，我决定编写一个记录器来跟踪在运行过程中执行的操作。因此，我创建了以下数据类型：作为Monad实例：
instance Monad (LogResult r log' -> Res
浏览 13提问于2016-07-21得票数 0
回答已采纳
我可以使用monad来定义它们。(<*) :: Monad m => m a -> m b -> m a(<*) fa fb = ?-- In terms of pure & (<*>)
(*>) fa fb = fa >>= \_
浏览 11提问于2019-11-11得票数 1
回答已采纳
1回答
我对函数monad有一些混淆。函数monad的定义如下： return x = \_ -> x我试图通过编写一个绑定操作来处理它：但它导致了错误。我还尝试将函数AddStuff重写到绑定
浏览 0提问于2013-01-21得票数 11
回答已采纳
2回答
一元.NET类型
、、、
Eric概述了.NET类型的所谓"Monad模式“，这些类型类似于Monad，并为其中一些类型实现了返回和绑定。作为一元类型的例子，他给出了：
我知道Nullable<T>有点像Haskell中的Maybe，绑定几个Mayb
浏览 3提问于2013-04-28得票数 11
回答已采纳
1回答
最近，我试图通过阴谋安装在OSX10.9上安装fpco-api，但是在构建阶段出现了错误。以下是错误列表：Loading package asn1-data-0.7.1 ... linking ... done.',(and originall
浏览 2提问于2014-01-22得票数 2
回答已采纳
我有一个Effect类型，它表示堆栈上的效果。Effect可以是修改堆栈并可选地生成输出的成功效果，也可以是记住堆栈失败时的外观的错误。(Failure debugS) -> Failure debugS绑定应该连接结果(以相反的顺序，我知道)。，不习惯GHC的错误
浏览 0提问于2017-06-27得票数 1
1回答
有没有一种方法可以使用漂亮的>>语法来编写这样的代码：monad1 >> monad2？ToBindOps需要显式的monad来传递，所以我必须在oder中执行类似ToBindOps[F, Unit](monad1) >> monad2的操作，以获得对>>的访问，因为monad1 >>=(_ =>
浏览 2提问于2015-08-27得票数 1
回答已采纳
1回答
我一直在探索库，并发现了大量有用的构造。在通过和使用任务之后，我想使用IO monad，但似乎找不到它。考虑到民间故事有多么丰富，我很惊讶，也不知道我是不是没看到它。
民间故事中有IO单曲吗？
浏览 5提问于2015-11-08得票数 4
1回答
我有以下代码：import System.IO (isEOF, hFlush, stdout)
main =main unlessFinished action = isEOF >>= flip unless action
当我编译和运行这段代码时，它会在空白行的开头显示一个游标，只有在我点击Enter之后，它才会输出$和我所写的任何东西。getLine似乎是在putStr "$ &
浏览 3提问于2015-11-30得票数 4
回答已采纳
2回答
当我运行项目时，我首先看到这个错误，然后输出也显示在控制台窗口中。我不明白为什么这个显示的是error error。我还粘贴了下面的错误和输出import ConnectionDB.ConnectionDBClass;以下错误和输出(输出前三行错误和接下来的三行)
SLF4J: Failed
浏览 1提问于2013-07-05得票数 1
在文本“学习你A Haskell”中，列表单的定义如下： return x = [x] fail _ = []
由于绑定操作符应该将列表值转换为裸值，并且concat对列表的层进行修剪，这个定义乍一看是有意义的。但是，当映射的输出类型[a]与concat的输入类型[[a]]不
浏览 1提问于2013-08-13得票数 1
回答已采纳
wiki.haskell.org上的99个Haskell问题中的第6个提供了一种单调的方法来测试列表([a]类型的内容)是否为回文： isPalindromeM :: (Eq a) => [a] ->Bool
isPalindromeM = reverse >>= (==) (在这里，reverse :: [c] -> [c]获取一个列表，并以倒序输出一个列表)。绑定操作暗示这里有一个monad在起作用，但是这个m
浏览 34提问于2021-11-12得票数 10
回答已采纳
1回答
为了维护类型安全，只有在函数可能导致错误时才使用可能的monad，这是一个很好的实践吗？在当前的项目中，我正在对列表进行操作，对于get/set函数，为了防止绑定错误，我使用了可能的monad：setCell :: [String] -> Int -> Int ->
浏览 2提问于2018-12-01得票数 1
回答已采纳
我知道如何使用list monad仅使用“绑定”操作来执行与Scheme的(或Python的) map和filter函数等效的操作。1,2,3,4,5,6).flatMap {x => if (x % 2 == 0) List() else List(x)}在Haskell中也是这样reduce函数使用提供的二进制函数组合列表的前两个元素，然后
浏览 0提问于2012-06-09得票数 4
回答已采纳
1回答
线程延续混乱？
、、
n2 <- m2interleave (Done _) m2 = m2我现在正在尝试创建两个挂起操作的线程，然后我可以将它们传递给interleave，然后传递给runThread，并使用一个继续操作来应用于所有挂起的操作：createSuspendedOperations i
浏览 3提问于2017-03-24得票数 0
1回答
我一直在使用Haxl monad (在这里描述：)，它有一个有趣的特性，即其应用实例的<*>与Control.Monad的ap不同。这是一个关键特性，它允许它在没有阻塞的情况下进行并发计算。我希望能够在MaybeT Haxl中运行计算，但问题是transformers包中的MaybeT m应用实例使用了一元绑定：
instance (Functor m, Monad m) => A
浏览 4提问于2014-03-31得票数 13
1回答
我有一条运行良好的铁路管道样本： if n < 10 then Ok n n >>= funB // it works
但是，当我想将funB转换为异步函数时，我得到了一个编译错误从逻辑上讲，这不应该是不同的。同样的输出&
浏览 0提问于2019-07-24得票数 4
回答已采纳
我想我已经掌握了一种索引monad的风格，就像这里描述的那样：。然而，我在中发现了一种不同风格的带索引的monad，它的某些部分似乎与这个带有两个索引的带索引的monad绑定相对应，例如类似的绑定操作符。虽然它显然与索引有类似的更改，但我不太理解如何使用这些索引，例如，控制延续monad中的返回类型。我会对这种
浏览 0提问于2012-12-24得票数 7
回答已采纳
想到monad，我想到了monad作为打破Von Neumann架构的方式的想法。Von Neumann体系结构使用一组指令(称为程序)来更改存储器中的数据，并且程序的每条指令的执行都会更新程序计数器，以了解下一条要执行的指令是谁。如果我们将Von Neumann架构看作一个单体，绑定操作符(>>=)会更新程序计数器。我们可以做一个打破冯·诺依曼架构的Monad
浏览 0提问于2011-11-01得票数 9
回答已采纳
当我试图编译代码时，会出现两个错误。nullDir; notFoundResponse]
我也不太确定错误的位置这两个错误似乎有完全相反的含义。我现在很困惑。有人能帮我解释一下吗？谢谢!seeOther "graph" (toResponse "Redirecting to /
浏览 10提问于2016-09-15得票数 1
回答已采纳
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
云直播
对象存储
腾讯会议活动推荐
腾讯云开发者
