我在一个Haskell项目中使用monad transformer RWST。下面是我的源码：ujs :: HSL a -> a unsafePerformIO $ liftI
浏览 5提问于2016-12-26得票数 1
回答已采纳
2回答
我有一个RWST Monad，并且有一些通用函数可以与它的Writer部分交互。作为参考，RWST如下所示：instance (Monoid w, Monad(Monoid w, Monad m) => MonadWriter w (RWST r w s m)
instance (Monad</e
浏览 4提问于2014-09-12得票数 0
回答已采纳
2回答
现在我知道为什么要挂了，这都是因为这一行：在我做新型号之前(Functor, Applicative, Monad, MonadIO,
instance实际上，我试着按您的方式来做，但是我得到了以下编译错误(即使使用GeneralizedNewtypeDeriving
浏览 0提问于2018-03-24得票数 0
作为一名数学系的学生，当我在Haskell中了解到单子时，我做的第一件事就是检查它们是否真的是我所知道的单子。但后来我了解了monad transformers，而这些似乎不是范畴理论中研究的东西。特别是，我希望它们与分配法则相关，但它们似乎真的不同: monad transformer被期望应用于任意monad，而分配法则是monad和特定的其他monad之间的事情。此外，看看monad转换器的常见示例，虽然May
浏览 1提问于2011-07-28得票数 31
2回答
对以下程序的内存分析表明，noleak函数在常量内存中运行，而泄漏函数以线性方式泄漏内存。dflemstr指出，这可能是由于RWST导致了无限的分配链。是这种情况吗?还有什么其他解决办法？环境：Pipe.hs -o管-profimport Control.Monad(forever)
import Control.Monad.Trans.R
浏览 0提问于2014-08-13得票数 11
回答已采纳
我已经在monad堆栈上定义了一个新类型的包装器，但是很难想出如何实现一个“已经”实现的类型类型方法。在gmask实例中使用来自Ghc的EngineM方法应该是很容易的，但是我无法在必要的样板和提升中使它正确工作。有什么指示吗？newtype EngineM a = EngineM { _runEngineM :: RWST EngineEnv EngineLog EngineState Ghc a }
instance ExceptionMonad
浏览 1提问于2014-10-10得票数 1
回答已采纳
我试图在一个名为“GLFW”的现有项目上建立我自己的项目。它显然使用了一个叫做"RWST“的东西来模拟环境和状态： { envEventsChan :: TQueue Event }
从这个环境中检索东西是非常容易的：但我也需要能够修改这些“变量
浏览 3提问于2020-12-04得票数 4
回答已采纳
1回答
镜头:变焦新型
、、、
我感兴趣的是我的monad转换器堆栈的缩放功能，它是以以下方式定义的： deriving (Functor, Applicative, Monad我的AwesomeState是深度嵌套的记录，所以使用缩放将极大地帮助我更新一些字段。可以在这里
浏览 3提问于2015-04-02得票数 5
回答已采纳
1回答
我试图了解Monad变形金刚是如何通过重新分解我第一次学习Haskell时写的东西来工作的。它有相当多的组件可以被(相当大的)堆栈所取代。在最初的版本中，一个Nothing“从不”发生，因为我只使用一个Map来高效地查找已知的键/值对(我想我可以重构使用一个数组)。在最初的版本中，我通过自由使用Maybe解决了fromJust问题。注意:对于StateT和WriterT，它们确实使用合格的导入，但对阅读器不
浏览 2提问于2015-01-06得票数 4
回答已采纳
2回答
在Haskell中，不为每一个新的价值引入一个新的引用，最好的方法是什么？"Groovy"} putStrLn $ works dierk {level= "dabbling", topic="Haskell
浏览 1提问于2015-03-14得票数 1
回答已采纳
顺便说一句，我确实意识到当前的约定使得使用记录语法实现"run“函数变得很容易，但这不能成为一个争论，因为库必须更喜欢易用性而不是易用性。
浏览 4提问于2014-03-27得票数 8
1回答
我围绕(Reader+Writer+State) monad的使用构造了一个计算：bar :: c -> State MyState dA -> RWS MyEnv MyLog MyState c b
浏览 1提问于2016-08-28得票数 2
回答已采纳
3回答
我是，用户可以将游戏循环指定为表单的一元计算：其中，Game monad有许多用于绘制、转换和与引擎进行接口的访问点。这是为了防止用户通过改变底层图形调用的状态来射击自己，或者在不需要的情况下加载东西。但是，在游戏循环已经开始之后，IO a的结果通常是有用的。特别是，在程序上生成图形元素的敌人出现在脑海中。因此，我希望允许用户使用类似于以下界面的内容请求资源：
浏览 5提问于2014-12-10得票数 11
回答已采纳
我有一种类型我想创建一个生成每个当前状态的一元值但是今天我觉得自己很愚蠢，而且我不知道如何将T a r [a]的值转换为T a r a。 as <- get return a
浏览 0提问于2011-08-20得票数 3
回答已采纳
1回答
我试图在函数式反应性编程上遵循，但我还是停留在4.2节的第二个例子中。在启动和运行读取器转换器时，我得到了第一个示例：import Control.Monad.Trans.MSF.Reader我不知道如何正确地引入编写器转换器，因为我甚至无法编译它：import Control.Monad
import Control.Mona
浏览 1提问于2019-02-22得票数 1
回答已采纳
1回答
Oleg Kiselyov 通过使用分隔的延续。, implemented here to avoidshift e = Cont (\k -> reset (e k))
我在尝试在Scala中<
浏览 0提问于2013-04-11得票数 18
回答已采纳
是否有必要访问monad的内部结构才能编写monad转换器？例如:我希望有来自Data.Binary.Get的Get monad的GetT - transformer，但是这个模块不公开Get monad的内部结构。这是否意味着对我来说唯一的方法就是将GetT直接添加到Data.Binary.Get模块中？
浏览 0提问于2012-08-03得票数 10
回答已采纳
我是Haskell的Monad Transformers的新手，尤其是我正在与ListT monad transformer作斗争。import Control.Monad.Trans.Listimport System.IO.Unsafe
浏览 0提问于2016-12-14得票数 2
1回答
注意，这个问题并不是关于“内毒素范畴中的一元”。也不直接涉及Functor( Monad总是一个Functor，但这个问题主要是关于单台变压器的)
从编程的角度来看，成为monads类的函子有什么好处呢？
浏览 3提问于2020-09-14得票数 7
回答已采纳
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储
腾讯云开发者
