使用State monad进行内存管理时出现编译器错误消息

文章/答案/技术大牛

发布

0回答

scala、state-monad

我有一个问题，使用State特征(灵感来自scalaz)来制作Euler项目的工作版本问题31。我已经在fibonacci示例中使用了它，但当我尝试将相同的技术应用于我的情况时，我遇到了一个我不能理解的编译器错误。} yield r).sum } yield res

浏览 4提问于2016-12-19得票数 0

回答已采纳

1回答

Haskell错误:无法将预期类型‘ServerPartT IO a0’与实际类型‘[响应]’相匹配

haskell、happstack

当我试图编译代码时，会出现两个错误。nullDir; notFoundResponse] 我也不太确定错误的位置这两个错误似乎有完全相反的含义。我现在很困惑。有人能帮我解释一下吗？谢谢!

浏览 10提问于2016-09-15得票数 1

回答已采纳

1回答

如何修改单一状态？

haskell

我使用State转换器来管理这样的全局状态StateT State IO ()consumeMsgs chan queue Rmq.Ack (flip evalStateT sss

浏览 0提问于2018-05-04得票数 3

回答已采纳

2回答

使用get从Haskell中的State Monad解压和打印值

haskell、types、functional-programming、monads、state-monad

Control.Monad.Trans.State.Lazy giveRandomElement lst =rand random_response_monad true_answer answers我这样做是通过编译器--当我第一次尝试强制它成为Int

浏览 12提问于2022-11-22得票数 1

回答已采纳

1回答

理解流列表中的类型

haskell、streaming、monads

我怎样才能从文档中看出这一点(对不起，这里有个菜鸟)post :: Maybe Int ->S.print $ S.map (\x -> runClientM x url) stream• Couldn't match type ‘ClientM’ with ‘IO’

浏览 2提问于2018-05-15得票数 5

回答已采纳

1回答

示例项目中的内存泄漏

memory-management、memory-leaks、cocos2d-iphone

我已经下载了完成的示例项目，可以在这里下载我把它放在我的设备上，注意到过了一段时间我的iphone内存就满了。我使用xcode测试内存泄漏(产品->配置文件)，结果显示程序中有许多内存泄漏。我对cocos2d非常陌生，所以我不知道如何修复它们。有没有人能帮助解决这些内存泄漏问题？请记住，我是个新手。干杯

浏览 1提问于2013-07-15得票数 1

回答已采纳

1回答

为什么我不能得到增加的计数器值？

haskell、monads

我正在尝试在Haskell中使用monad进行全局计数器，我希望每次使用monad计数器时都能获得递增的值，但我每次都会获得相同的值！$ \n -> (n, n) put x = C $ \n -> (x, x) instance Monad我想要的是每次我执行run tickC时，它都会返回递增的值，如1、2、3、4……我知道那

浏览 2提问于2011-06-13得票数 2

回答已采纳

1回答

Haskell/Parsec:如何在Text.Parsec.Indent中使用Text.Parsec.Token (来自缩进包)

parsing、haskell、types、indentation、parsec

实现这一点的方法是导出一个函数，您可以调用该函数，为其提供特定语言的参数(如注释的外观)，并返回一个记录，其中包含中的所有函数，并根据指定的语言进行调整。我应该在某种程度上提到，所有的Parsec解析器都是一元函数，所以它们对state做了一些神奇的事情，以便错误消息可以指出错误出现在源文件中的哪一行和哪一列由于一些小的原因，在我看来，或多或少是我得到的错误是，我尝试用上面的一个Parser定义替换另一个，但是当我尝试使用Text.Pars

浏览 32提问于2013-03-10得票数 17

回答已采纳

1回答

我如何在haskell中抽象这个模式？

haskell、error-handling、monads、abstraction

权限失败应该会传播，但是如果AST中上面的节点带有权限，则成功可以恢复计算并停止错误的传播。起初，我认为Error MyError MyValue单播就足够了：MyError的一个成员可以是PermError，如果第二次检查成功，我可以使用catchError从PermError恢复。当我写这篇文章时，我想出了一个想法(花哨的橡皮鸭也是如此)：在内部处理一个类型(a，b)的Monad (最终在一元计算结束时返回它，必须有某种runMyMonad)，但是允许我尽可能直接地处理b类型。有点像 data T =

浏览 0提问于2013-07-16得票数 3

1回答

是否可以在不使用StateT和ST的情况下在州内使用IO

haskell、monads、state-monad

在下面的代码中，我管理一个游戏，它拥有一个链接列表。在游戏的每一步，我改变游戏状态更新链接列表修改。 -- but it will depend on the value of node i got from IO 但是，我在编译时遇

浏览 1提问于2015-08-25得票数 3

回答已采纳

2回答

哈斯克尔州一元化卫队

haskell、monadplus

在包含状态的一元代码中，我有一个小任务要模拟命令式循环，不应该有IO，任务是在条件下退出循环，下面是我的尝试：因此，我希望在这里得到类似于4的信息，但是却得到了这样一个神秘的信息： No instance for (MonadPlus Data.Functor.Identity.Identity) arising from a use of `guard' a

浏览 1提问于2011-04-04得票数 2

回答已采纳

3回答

如何让xCode停止在@try @catch中记录错误

ios、xcode、logging

当它在@try块中失败时，通常是一个无法识别的选择器错误，因为它在@try块中，所以我捕获了这个错误，但它仍然每次都被记录下来，即使我没有从我的@catch块中记录。这非常烦人，因为它阻塞了我的日志。如果我想要记录来自@try/@catch的错误，我会在@catch中处理它，对吗？谢谢

浏览 2提问于2012-02-23得票数 2

回答已采纳

1回答

在列表中使用状态monad - state时的意外行为

haskell、state、state-monad、io-monad

我现在正在学习Haskell，并且我正在尝试使用状态Monad。我递归地请求用户输入并将其附加到列表中。当我在同一个函数中实现IO处理和状态执行时，程序按预期工作： import Control.Monad.State push atestingState) stack main = do handleState [] 由于我不明白的原因，当我将状

浏览 21提问于2021-04-13得票数 2

2回答

如何定义状态单子？

haskell、monads

我想定义一个管理错误的State monad (在某种意义上就像是可能的)：如果在"do“计算过程中出现错误/问题，它将由信号引导并由>>=传播。错误还应该包含一个描述它的字符串。之后，我想将这个单体应用于mapTreeM，使用for map函数将状态假设为数字和一个包含数字的树，并在每个访问步骤通过将当前叶的值添加到当前状态来更新当前状态；结果树必须包含具有旧叶值和访问时刻状态的对) (Branch (Leaf (-1

浏览 2提问于2014-06-06得票数 0

2回答

有没有人知道(或记得)违反阶级法会在GHC中引发问题？

haskell、ghc、typeclass

因为lambdabot使用GHC，所以这可能是GHC的一个bug (或特性)，它对类法进行了假设。有人记得这些是什么吗？这种情况曾经(或可能)以酸性方式发生过吗？

浏览 0提问于2011-08-07得票数 7

回答已采纳

2回答

haskell - - ddump-simpl是获得具体类型的最好方法吗？

debugging、haskell、types、ghc、concrete

我之前写了一个看起来不错的函数，但不幸的是我写的代码不是很好，现在我必须再次弄清楚我正在修改我正在使用的monad transformer堆栈。

浏览 0提问于2011-11-03得票数 3

回答已采纳

5回答

free()函数，不带malloc或calloc

c、malloc、calloc

快速问题ei。free(str);我没有得到任何编译错误，但这是否有效，或者它是否完全正确？谢谢,

浏览 1提问于2010-11-06得票数 4

回答已采纳

2回答

尝试实现(>>=)函数以创建自定义单值转换器时出现类型错误

haskell、monad-transformers、monads

我正在尝试为将来的项目创建一个monad转换器，但不幸的是，我的Monad类型类(>>=)函数的实现不起作用。首先，下面是底层monad的实现： unR :: State EInfo a在这里，Monad类型类的实现是由GHC自动完成的(使用GeneralizedNewtypeDeriving语言杂注)。该值传递给f :: (Monad m) =&

浏览 0提问于2010-04-18得票数 3

回答已采纳

10回答

在编译时禁用Java日志记录

java、compiler-construction、logging、compile-time

我有一些Java代码，我想用日志消息对它们进行检测，以便进行调试。然而，最终的(编译的)生产代码不应该包含任何日志记录，因为它会减慢执行时间。在Java中有什么方法可以在编译时禁用记录器吗？我不怕在运行时启用/禁用的记录器的log方法中进行检查会增加内存占用。if (logging==enabled) {// do logging}Logger.log("undefined state

浏览 5提问于2010-06-22得票数 6

1回答

单片变压器的解剖

haskell、monads、monad-transformers

我认为我注意到的是每个单台转换器定义的公共结构： -MonadIO instance - instances for other 'BaseT's例如，对于Writer monad，应该有：带有Monad实例的Writer数据类型/newtype&#

浏览 2提问于2012-11-28得票数 10

点击加载更多