回答情况：
提问时间：
问题标签：
从scala monads开始。一个人经常会遇到处理单音单音的情况，为了我们的方便，需要将其转换为单音单音。
浏览 4修改于2018-01-09得票数 0
我正在学习Monad Transformers，我正在尝试学习如何嵌套Monad。所以为了模拟这个形状，我做了type FutureEither = EitherT[Future, Error, A]现在我知道了我得到了
OptionT(EitherT(Future(Success(Righ
浏览 10提问于2017-03-07得票数 2
回答已采纳
2回答
continuations可以说是monads吗？它们是monads的一个子集，还是仅仅是实现monads的一种方式？
编辑:也许我搞错了，monads是一个比continuations更抽象的概念？
浏览 29修改于2009-03-21得票数 17
回答已采纳
我正在尝试require clojure.algo.monads，我有点搞不懂clojure导入/要求/使用:dependencies [[org.clojure/clojure "1.6.0"]安装deps: lein deps(ns mo
浏览 2提问于2015-05-09得票数 1
回答已采纳
最近，我在阅读“学习你的哈斯克尔”时，偶然发现了这样一句话：此表达式返回结果因此，我理解列表的一元绑定是如下实现的取表达式的前半部分，即：
[1,2] >>= \n -> ['a',
浏览 4修改于2016-08-14得票数 1
回答已采纳
3回答
我在使用liftM时遇到了问题。对于(+)，它工作得很好，madd a b = liftM2 (+) a b函数给了我预期的结果Just 5 `madd` Just 7 = Just 12，但是现在用(/)尝试它，它给了我奇怪的结果。
浏览 1修改于2020-01-24得票数 1
似乎能够组合不同的ReaderT环境会很有用。logit :: Text -> ReaderT Bool IO () liftIO $ if debugflag then putStrLn ("debug: " ++ str) else return ()例如，假设我想将它与这个ReaderT实例结合使用：
foo
浏览 0提问于2012-10-24得票数 3
我有以下代码，可以很好地编译和运行。我试图通过用case scanEmployee p of替换case newEmployee of来使它更紧凑，但它不起作用。可能有一种简单的方法可以从代码中删除newEmployee (和newTeam)，对吧？ module Main( main ) wheredata Employee' = EmployeeSW'
浏览 14提问于2019-03-04得票数 0
回答已采纳
使用Monad的示例JavaScript代码会是什么样子？我之所以问这个问题，是因为如果我能看到一个代码示例，那么对Monad的理解就会清晰得多(而JavaScript是一种简单的函数式语言，它可能是学习它的最佳语言)。
浏览 1提问于2011-12-28得票数 11
回答已采纳
在学习Monads的教程时，我把它看作是OOP中的Decorator pattern的类比。我说的对吗?或者有没有类似Monad的设计模式？
浏览 0提问于2012-09-04得票数 9
回答已采纳
implicit class KComb[A](a: A) {}case class Document()def print(d: Document): Unit = ???
val result = process(g
浏览 4修改于2015-10-13得票数 5
在玩monads时，我经常遇到评估问题。现在，我理解了惰性计算的基本概念，但我不明白在Haskell中是如何懒惰地计算monads的。因此，如果我加入这两个monads，它就可以工作。有没有人能帮我澄清一下？(或者给我一个指针)
浏览 0提问于2011-10-17得票数 8
回答已采纳
我有一些用Lift编写的代码。基本上是它的嵌套框(类似于Option的monad )。如果可能的话，我想把它简化一点。最好添加类型参数，以便在需要时可以很容易地将其更改为字符串或双精度。以下是代码"tryo“是一个帮助器函数，用于在发生异常时捕获和包装Box中的结果，并且r是请求对象。"param“函数返回Box。我想让它适用于Int的字符串等，如果可能的话，去掉嵌套的map/openOr
浏览 1提问于2012-08-20得票数 2
我有这样的东西，正在起作用： let p = something :: MyType p'' <- newP p' print p'''我找到了Control.Monad.Loops.iterateUntil，但我不能让它开始工作。下面是我的代码(check看起来类似于这个check :: MyTyp
浏览 1提问于2016-01-06得票数 1
回答已采纳
我正在Haskell学习monads，我理解它们为什么有用，我总体上理解了如何绑定、加入、返回做什么。
我还查看了基本读取器/作者/状态/列表/可能是monad的基本用法示例。它似乎没有像上面的函数那样的通用签名，如果它是可定义的/对所有的monads都有意义的话，我就不会理解它。
浏览 0修改于2019-02-05得票数 8
回答已采纳
1回答
signature MAPPABLE = sig val fmap : ('a -> 'b) -> 'a mappable -> 'b mappable type 'a mappable = 'a option case v of | NONE => NONE;
s
浏览 0修改于2018-03-26得票数 2
这里是哈斯克尔的初学者。然而，手动快速检查解释器中的每个属性(quickCheck prop_this，quickCheck prop_that)是枯燥、单调和耗时的。我想把所有这些都放在一个程序中，让这个程序运行所有的快速检查。这就是我被困的地方。imports...
prop_2
浏览 0修改于2014-03-03得票数 1
经过一段时间的测试后，我认为这是我所使用的Monads的问题。
如果我像这样测试助手函数的类型：":t (helper testexpression1 "(+)")“我会得到它："(...
浏览 0修改于2014-07-04得票数 1
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号