- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我围绕 RWS
(Reader
+Writer
+State
) monad 的使用构建了一个计算:
newtype Problem a = Problem { unProblem :: RWS MyEnv MyLog MyState a }
deriving ({- lots of typeclasses -})
计算是通过组装形式的基本计算逐步构建的
foo :: a -> Problem b
然而,有时子计算不需要RWS
monad 的全部功能。例如,考虑
bar :: c -> State MyState d
我想在 Problem
monad 的上下文中使用 bar
作为更大计算的一部分。我可以看到执行此操作的三种方法,但对我来说都不是很优雅。
手动解包 State
计算并将其重新包装在 RWS monad 中:
baz :: a -> RWS MyEnv MyLog MyState c
baz x = do temp <- foo x
initialState <- get
let (finalResult, finalState) = runState (bar temp) initialState
put finalState
return finalResult
修改 bar
的类型签名,将其提升到 Problem
monad 中。这有一个缺点,即新类型签名没有明确 promise bar
独立于 MyEnv
并且不向 MyLog
记录任何内容。
用显式 ReaderT MyEnv WriterT MyLog State MyState
monad 堆栈替换 RWS
monad。这让我可以简洁地 lift.lift
bar
子计算到完整的 monad 中;但是,这个技巧将不起作用,例如用于 c -> Reader MyEnv d
形式的子计算。
有没有更简洁的方法来组合 foo
和 bar
?我有一种预感,类型类实例的一些巧妙定义可能会起作用,但我看不出具体如何进行。
最佳答案
我假设您使用的是 mtl
(如果你不是,请考虑这样做 - 除了以下内容之外,这些库大多是兼容的)。您可以派生 MonadReader MyEnv
、MonadWriter MyLog
和 MonadState MyState
的实例。然后,您可以使用它们在具有此类约束的任何 monad 堆栈上泛化您的函数。
{-# LANGUAGE GeneralizedNewtypeDeriving, MultiParamTypeClasses, FlexibleContexts #-}
import Control.Monad.RWS
import Control.Monad.Reader
import Control.Monad.Writer
import Control.Monad.State
newtype Problem a = Problem { unProblem :: RWS MyEnv MyLog MyState a }
deriving (Functor, Applicative, Monad,
MonadReader MyEnv, MonadWriter MyLog, MonadState MyState)
从你的例子来看,也许bar
只需要知道有一些状态MyState
,所以你可以给它签名
bar :: MonadState MyState m => c -> m d
bar = ...
然后,即使对于可能需要完整的RWS
功能的foo
,您也可以编写
foo :: (MonadState MyState m, MonadReader MyEnv m, MonadWriter MyLog m) => a -> m b
foo = ...
然后,您可以根据自己的喜好混合搭配:
baz :: Problem ()
baz = foo 2 >> bar "hi" >> return ()
现在,为什么这通常有用?它归结为您的 monad“堆栈”的灵 active 。如果明天你决定你实际上不需要 RWS
而只需要 State
,你可以相应地重构 Problem
和 bar
(一开始只需要状态)将继续工作而无需任何更改。
一般来说,我尽量避免在foo
等辅助函数中使用WriterT
、StateT
、RWST
等或 bar
。选择使用类型类 MonadWriter
、MonadState
、MonadReader
等,尽可能让您的代码保持通用和独立于实现。然后,您只需必须在代码中使用一次 WriterT
、StateT
、RWST
:当您真正“运行”您的 monad 时。
变形金刚
的旁注如果您使用 transformers
,这些都不起作用。这不一定是坏事:mtl
,因为它始终能够“找到”组件(如状态或编写器)has some problems .
关于haskell - 将计算从 State monad 提升到 RWS monad,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/39195846/
在本教程中,您将通过示例学习 JavaScript。 JavaScript 中的提升是一种在声明之前可以使用函数或变量的行为。例如, // using test before declarin
我正在学习javascript提升功能,发现下面的代码真的很困惑: var a = 1; function b() { a = 10; return; function a()
作为一个JS学习者,我发现了一件很有趣的事情,考虑下面的代码。 this.init = function (e) { var container = e.container;
Quasiquotes 的 Scala 文档在解释 Lifting 时提到了这一点: One can also combine lifting and unquote splicing: scala
我是新来的。到目前为止,我一直在使用 MVC 模型并使用基本的 session 管理模型,即在 session 中存储一个 token 并检查每个请求。 我正在尝试对lift做同样的事情,但我的 se
我当前使用的是Elasticsearch 2.4版,希望根据查询时间的增加或加权,根据我称为“类型”的字段对结果集进行微调。 例如 如果字段“类型”的值为“船”,则将权重或增强值增加4 如果字段“类型
一年多以来,我一直在大量使用 lift、return 以及 EitherT、ReaderT< 等构造函数,等等。我读过《Real World Haskell》、《Learn You a Haskell
我浏览了电梯的MegaProtoUser遇到这种结构:??("Last Name")。谁能解释一下,这是什么意思? 谢谢解答 最佳答案 它是在对象 S 上定义的: def ??(str : Strin
我有一个Solr索引,每个文档都是一个Event的信息。在我的架构中,Schedule 是日期类型的多值字段。我想知道是否可以使用计划日期来增加文档(多值字段中的任何日期)在未来并且最接近当前日期?我
作为测试,我正在尝试使用设计人员友好的模板在 lift 中创建一个表单。我正在使用 Lift 2.5 我已经设法使用 toForm 创建了一个工作表单,但我只是在探索所有可能的方法。 我的 html
如果这个问题已经被问到,我深表歉意。 是否可以清除已经设置的条件变量? 下面是我想要实现的详细信息: void worker_thread { while (wait_for_conditio
尝试学习Js,无法理解为什么DOM元素没有获取到值: var Car = function(loc) { var obj = Object.create(Car.prototype); obj
我想知道吊装。我知道如果全局函数名称与全局变量相同,函数会覆盖变量的名称。是吗? 这是我的代码。 (function() { console.log('console.log#1 ' + glob
这个问题已经有答案了: var functionName = function() {} vs function functionName() {} (41 个回答) 已关闭 7 年前。 在javas
我正在开发 Windows 资源管理器 namespace 扩展。我的应用程序是explorer.exe在某个时候加载和使用的动态库。我需要我的 DLL 在 C:\中创建文件,有时在其他需要提升才能执
背景: GitHub 属于客户。我们团队中有一些新手,他们有时会错过基本的命名约定和其他编码协议(protocol)。所以,如果哪位前辈想在内部review,除了创建PR,别无他法。但是这个 PR 对
我们需要在运行时更改 HKEY_LOCAL_MACHINE 的一些设置。 如果需要在运行时,是否可以提示 uac 提升,或者我是否必须启动第二个提升的进程来完成“肮脏的工作”? 最佳答案 我会以提升的
看着Haskell文档,提升似乎基本上是 fmap 的概括,允许映射具有多个参数的函数。 Wikipedia然而,关于提升的文章给出了不同的观点,根据类别中的态射来定义“提升”,以及它如何与类别中的其
ggplot2 package 很容易成为我用过的最好的绘图系统,除了对于较大的数据集(约 50k 点)性能不是很好。我正在研究通过 Shiny 提供网络分析,使用 ggplot2作为绘图后端,但我对
是否可以提升 powershell 脚本的权限,以便没有管理员权限的用户可以运行该脚本?我们的网络管理员正在尝试寻找更省时的方法来完成某些任务,目前他们必须使用远程桌面...使用 PS 脚本将其自动化
我是一名优秀的程序员,十分优秀!