我是一个Haskell菜鸟，感觉被我试图执行的一个相当简单的功能卡住了。最终，我的目标是读取一个严格的ByteString，使用带有解码器的Get monad从ByteString中检索第一个Word32，并在Word32的各个部分执行Data.Bits.testBit计算为当我在解码器上运行runGet函数并在main中传递我的ByteString时，我可以看到它返回一个如下所示的</em
浏览 2提问于2016-12-22得票数 1
回答已采纳
2回答
我正在用函数式风格编写Python (我想我得到的内容类似于monad?)。到目前为止，我已经为三个函数进行了硬编码。如果我有10个或100个呢？
浏览 4提问于2013-01-12得票数 1
我试图使用Monad来传输我的数据，问题是我不知道如何让Monad知道异步操作let processData = Either.either(_sendError, _sendResponseprocessData(_getDataGeneric(queryResult) .chain(_processRequest)queryResult是我从数据库本身获取的内容问题是，获取结果只在管道
浏览 2提问于2016-12-14得票数 3
回答已采纳
3回答
我看的是函数式Java，但我不明白什么是。有没有人能解释和/或举个例子？
(背景:我确实知道什么是currying和闭包)
浏览 3提问于2011-04-25得票数 7
回答已采纳
3回答
理解一元斐波纳契
、、
我在学习haskell和monads。我看过各种教程，并为state monad编写了一些简单的示例，但是我无法理解以下代码(摘自Haskell Wiki)：fib n = flip(n-1)] $ \_ -> do put (b,a+b) return a
内部的<
浏览 1提问于2016-11-11得票数 1
3回答
解读“读者群”
、、、、
Reader r r当我阅读State monad时，它和它的get函数具有相同的概念。该案文解释说：我猜这是关键，同样的事情也发生在阅读器上，但我不明白它是如何工作的.当上面的示例通过runReader运行时，提供的<e
浏览 0提问于2017-10-13得票数 13
回答已采纳
在Haskell 2010标准第7.3节中，我宣读了以下内容：
I/O monad包括一个简单的异常处理系统。任何I/O操作都可能引发异常，而不是返回结果。I/O monad中的异常由IOError类型的值表示。这是一种抽象类型:它的构造函数对用户隐藏。IO库定义了构造和检查IOError值的函数。创建IOError值的唯一Prelude函数是use
浏览 2提问于2015-01-30得票数 4
2回答
我找到了下面的示例 Nothing >>= f = Nothing return= Just
数据构造函数是Haskell中的第一类值，实际上有一个类型。例如，任一</
浏览 3提问于2013-11-04得票数 0
2回答
我正在用Haskell编写一个函数，它接受一个Java类文件，并编写另一个相同但包含一些修改的类文件。为此，我觉得我绝对需要一个state monad来至少保存类文件中所有字节的Word8。然而，在我对Haskell中的State Monad进行了所有的研究之后，我仍然无法弄清楚如何做到这一点。有谁能给我指个方向吗？我希望能够有一个在所有函数的范围内，我可以从函数修改的。我知道这涉及到使用类似state<-<e
浏览 1提问于2012-04-20得票数 1
来自getEvent库的类型签名具有类型签名然而，在使用了这个函数之后，我仍然不太确定Window是用来干什么的文件上说
但这并没有给我很大的启发(阅读源代码对我也同样没有启发)。在我看来，如果像按键这样的事件发生了，它就不会发生在窗口内。实验支持这一假设，无论我经过哪个窗口，我似乎都会发现同样的事件。如果我打开了几个窗户，如
浏览 0提问于2019-01-30得票数 2
回答已采纳
我对Haskell monad转换器比较熟悉，但对Scalaz (版本7)还不熟悉。我从下面的Haskell代码做了一个(我认为是)简单的翻译： } yield s编译Haskell代码。好的。但是，似乎get[String]一元值被推断为具有StateT[
浏览 0提问于2013-04-29得票数 5
回答已采纳
1回答
我正在通过学习Haskell。我刚到了monad部分，虽然我(终于)对如何使用monad有了很好的了解，但我不知道如何测试使用它们的代码。本节的练习是编写一个(简化的)风险模拟，它需要大量使用Rand StdGen monad。attackers :: Army, defenders :: Army }
它需要一个初始战场，并模拟这场战斗的
浏览 2提问于2014-09-21得票数 10
回答已采纳
1回答
我在haskell中获得了以下数据类型：newtype FlowT m a = FlowT {runFlowT :: mFlowT的Monad和MonadTrans实例定义如下：x >>= f = FlowT $ do= lift get
我的意图是，在我正在为其开发解释器的
浏览 3提问于2013-05-07得票数 7
回答已采纳
如何从Haskell中的字符串列表中获取搜索匹配？module Mainimport Listimport Monad
main = do
浏览 1提问于2011-05-01得票数 3
以下是我一直在考虑的一些方法。我在正确的轨道上吗？(我是Haskell的新手，还在学习函数式思考的最佳方法。)每当有人调用模块中的操作时，他们都必须从其隐藏的位置提取CassandraState，使用runState调用该操作，并获取结果状态并再次将其隐藏(无论在何处)。但是，如果我不再使用StateT monad，而是只有一些函数接受状态作为参数，并返回简单值或由简单值和新状态组
浏览 1提问于2011-01-25得票数 11
回答已采纳
我试图找出IO monad和<-语法，这是我经常在Haskell代码中看到的。我看到它与多种数据类型一起使用，包括数组和IO。
如果我自己指定一个，那么clojure中的等效操作是什么？
浏览 2提问于2013-12-06得票数 3
回答已采纳
case M.lookup number carrierMap ofJust carrier -> M.lookup carrier addressMapimport Monadimport IOimport Control.Monad.State>>= \gen ->
let (val, gen
浏览 3提问于2012-05-07得票数 4
回答已采纳
4回答
我不明白的是，做了什么，比方说，Option是一个单曲？在Haskell中，monad Maybe是monad，因为它是从Monad类实例化的(Monad类至少有两个必需的函数-- return和bind，这使得类Monad，实际上是一个monad)。但是在Scala，我们得到了这样的信息：
sealed abstract class Option[+A] extends Prod
浏览 6提问于2014-08-18得票数 38
回答已采纳
3回答
我只是把我的头集中在单子上(至少我认为我是这样做的)，更具体地说，是州立单子，有些人比我聪明得多，所以我很可能会回答这个问题。无论如何，状态monad通常是用一个M<'a>实现的，如下所示(F#)：现在我的问题是另外，MonadA<'a, 'b>和MonadB<&
浏览 5提问于2010-04-07得票数 9
回答已采纳
云服务器
ICP备案
对象存储
云点播
实时音视频
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号