我知道我可以在语言的monads中顺序地运行一元指令，如下所示： IO { IO.print(Nat.show(3))IO.print(Nat.show(4))output:3但是像下面这样重复运行一元指令是可能的吗？
浏览 21提问于2021-05-25得票数 3
回答已采纳
2回答
在我看来，著名问题的答案，特别是投票最多的问题，试图解释什么是monad，而没有清楚地解释为什么monad真的是必要的。它们能被解释为问题的解决方案吗？
浏览 38提问于2015-01-26得票数 393
回答已采纳
5回答
在阅读有关monad的文章时，我经常看到诸如“Xyz monad中的计算”这样的短语。什么是计算是“在”在某个单一？我认为我对monads的含义有相当的把握:允许计算生成通常属于某种预期类型的输出，但可以交替地或额外地传递其他一些信息，如错误状态、日志信息、状态等，并允许将此类计算链接起来。但是我不明白计算怎么会被称为“在”一个单子中。这仅仅是指产生一元结果的函数吗？
示例：(搜索
浏览 7提问于2013-02-22得票数 15
回答已采纳
2回答
在angularjs指令的指南教程中，指令对象可以具有作用域属性。它定义了指令的范围。虽然作用域atribute值可能为真，但以下是对作用域的解释：( )
我对那些粗犷的句子感到困惑。如何在同<
浏览 2提问于2017-05-05得票数 0
这一次，我应该使用IO过滤CSV-数据集，这是我很难理解的。如有其他相关信息，敬请见谅。由于有了好的答案，我已经提高了我的理解，并实现了以下代码：
dropEmpty
浏览 4提问于2016-04-16得票数 0
2回答
只使用一元绑定语法表示do块
、、、、
据我所知，Haskell中的do块只是一元绑定运算符的某种语法糖。例如，在这个块中多次使用f如何： print $ "prefix " ++ f请注意，这个问
浏览 1提问于2014-02-22得票数 6
回答已采纳
1回答
在和Mark的示例中，我第一次看到了作为构建纯代码和IO代码之间边界的一种方法的免费monads。我的基本理解是，一个免费的monad允许您构建一个程序(一个抽象语法树- AST)的纯函数，然后翻译成一系列不纯的过程调用。因此，此解释器将AST的纯操作转换为一元IO操作序列。我想知道这是否重复了Haskell运行时已经在使用IO monad所做的工作。如果我认为I
浏览 8提问于2020-05-15得票数 10
回答已采纳
然后我们想要使用这个ID从数据库中获取一些东西，这两个操作都可能失败(所以我们想要两者之一)，并且都涉及到与外部世界的交互(所以IO)。n4 = Right (Left "Error - evens not allowed")如上文所示，如果用户提供了一个糟糕的Int，我们就会得到您期望的Left错误。如果我们有一个有效<e
浏览 0提问于2015-12-02得票数 1
回答已采纳
1回答
我一直在阅读，虽然我没有在任何语言中广泛使用单体，但在玻璃钢的设计中，我禁不住看到它们无处不在。难道就不能用一元的方式来表达吗？封装需要随时间而修改的值的代码，命名为Signal，然后像这样使用这些信号(为了简单起见，使用Haskell标记)。mouseX
my <- mous
浏览 2提问于2015-02-03得票数 13
回答已采纳
我目前正在构建一个新的API，它目前提供的一个函数是：我想把那个Tracer变成单曲，给我一个签名，更像是inSpan的实现使用bracket，这意味着我有两个主要选项：
class MonadUnliftIO m => MonadTracer请注意，我控制了我提到的所有类型，这使我略微倾向于MonadMa
浏览 6提问于2017-09-26得票数 15
回答已采纳
我试图在这个表达式中返回True或False，但我得到了这个错误，有人能告诉我我做错了什么吗？谢谢。
浏览 0提问于2018-06-28得票数 0
2回答
目标函数阻抗失配
、、、、
在面向对象程序设计( OOP )中，与接口交谈而不是与实现对话是很好的做法。但是，在纯函数式编程语言(如Haskell )中，您不具有子类型多态性，而是通过类型类使用即席多态。因此，例如，您有列表数据类型和列表的一元实例。您不需要担心使用接口/抽象类，因为您没有这样的概念。在混合语言(如Scala )中，您有两个类型类(实际上是通过一个模式，而不是像Haskell那样的头等公民)和子类型多态性。当然，在sc
浏览 2提问于2016-05-09得票数 10
select anEmployee; 你把这种遍历叫做什么？交叉连接?这并不是因为连接已经隐含在代理对象中的工作人员组成中。
它是绑定的吗？
浏览 4提问于2013-10-11得票数 19
回答已采纳
在这个中，他给出了你想要使用monads的理由列表。他的一个理由是：在这个中，他谈到了在编写redis驱动程序以生成json时宏的一个用例。在幻灯片66中，他展示了一个例子。(defmacro defcommand (let [p (parameters params)]
`(defn ~name ~param
浏览 0提问于2013-11-17得票数 1
回答已采纳
flatmap有什么强大之处，值得在Scala民间传说中占有一席之地？
浏览 1提问于2011-12-19得票数 105
回答已采纳
8回答
我有一个包含重复元素的Ruby数组。如何在不使用for循环和迭代的情况下保留所有唯一元素的同时删除该数组中的所有重复元素？
浏览 14提问于2011-12-03得票数 354
回答已采纳
我当时正在做一个关于F#的演讲，在讨论选项类型时，观众问我，选项类型是否是F‘S实现的“可能的单曲”。我知道情况并非如此，但我确实想问这两个概念之间的关系如何。我的意思是，在我看来，选项类型可能是一个可能单一广告运作的结果，但我甚至不确定。
有人会在那些支持它的功能语言中阐明可能的单变量和选项类型之间的关系吗？
浏览 0提问于2012-06-22得票数 8
回答已采纳
考虑一下这个Haskell脚本，它在目录中的每个路径上都附加了一个感叹号： paths <- listDirectory "/"如何将其转换为从左到右的绑定操作链
浏览 1提问于2020-01-22得票数 1
回答已采纳
3回答
什么时候该用纸巾？
、、、
我最近偶然发现了Kleisli的概念，我读到的每一篇教程/链接/引用都通过以下构造激发了Kleisli的使用：
插入配置：这个说明如果多个对象(类型、案例/数据类等)需要注入Config，那么可以使用Kleisli构造来抽象可重复的注入。实现这一目标的方法很多(例如，使用Scala
浏览 0提问于2020-05-19得票数 40
回答已采纳
云服务器
ICP备案
对象存储
实时音视频
云直播
腾讯云开发者
