- html - 出于某种原因,IE8 对我的 Sass 文件中继承的 html5 CSS 不友好?
- JMeter 在响应断言中使用 span 标签的问题
- html - 在 :hover and :active? 上具有不同效果的 CSS 动画
- html - 相对于居中的 html 内容固定的 CSS 重复背景?
我有一个数据类型(以 GADT 形式显示在下面):
data Test a where
C1 :: Int -> a -> Test a
C2 :: Test a -> Test a -> a -> Test a
C3 :: Test a -> a -> Test a
...
我想做的是能够将一些函数 Monoid m => Test a -> m
一般应用于 Test a
中的任何给定实例构造函数,然后映射
全部。
例如,给定 f:
f :: Test a -> [Int]
f (C1 n _) = [n]
f _ = []
我想要一些函数 g 可以将其映射到每个构造函数参数,如下所示:
g :: Monoid m => (Test a -> m) -> Test a -> m
g f v@(C1 Int _) = f v
g f (C2 x y _) = f x `mappend` f y
g f (C3 x _) = f x
...
除了我不想写 g
,我想写一个 g
的通用版本,它可以对任何支持的数据类型执行此操作(我'我认为 GHC.Generics 可能很适合这个,但一直无法获得正确的类型)。也就是说,我想将遍历数据结构的实际机制(使用基于 mappend
的折叠重复应用 f
)与有趣的 位(上面 g
中 C1
的终止情况)
有什么想法吗?
最佳答案
实际上,我会更深入地研究 GHC.Generics,并且肯定会阅读 the SYB paper如果你还没有。
我将在这里概述另一种方法,即使用定点类型,这非常适合解决这个问题。
newtype Mu f = Roll { unroll :: f (Mu f) }
-- Replace all recursive constructors with r.
-- If any of them are nonregular (e.g. C3 :: Test Int -> Test a)
-- then this approach gets quite a bit more complicated, so I hope not.
data TestF a r where
C1 :: Int -> a -> TestF a r
C2 :: r -> r -> a -> TestF a r
...
-- This will take care of finding the recursive constructors
deriving instance Foldable (TestF a)
-- This is your actual type (might want to wrap it in a newtype)
type Test a = Mu (TestF a)
foldMapRec :: (Foldable f, Monoid m) => (Mu f -> m) -> Mu f -> m
foldMapRec f (Roll a) = foldMap f a
在实践中,我实际上并没有充分利用固定点类型,它们似乎总是比它们的值(value)更麻烦。但现在实现了 PatternSynonyms
,我认为它更好一些。无论如何,只是想向您展示这一点供您考虑。
关于haskell - 如何映射 ADT 构造函数的参数?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/41235424/
Google发布的ADT bundle 包的最终版本是什么? 由于宣布“Android Studio”为开发Android应用程序的正式IDE,因此ADT bundle 包(带有ADT插件和Andro
我在 Eclipse Indigo (3.7.2) 中更新我的 android ADT 插件时遇到了一个可怕的错误。请检查所附图片。 谢谢 最佳答案 遇到了类似的问题。这就是我修复它的方式。 1.从
我正在使用 ADT 包 22.3。这是我直接从 android.com 下载的完整离线压缩包。但现在他们已经将更新推送到 ADT bundle 22.6,所以在下载 ADT bundle 22.6 z
我用 C 语言创建了一个基于结构的抽象数据类型。在这个结构中,有指向同样基于结构的其他 ADT 的指针。我想知道如何/是否可以正确初始化内部指针并消除内存访问冲突错误。代码如下: typedef st
我想创建一棵树(使用 Node 或 ADT),其中每个节点都有一个指向其父节点的注释。下面是一个简单的链表数据结构的例子: import util::Math; import IO; import N
在 eclipse 上 - 尽管我使用的是最新的 adt 版本,但我还是收到了这个错误。我不确定它是否相关,但这发生在我安装 android-m sdk 之后。 最佳答案 从这里开始: https:/
我的应用程序运行良好。但是,一旦我从 ADT 16 更新到 ADT 17,就会收到此错误 Unable to resolve superclass of Lcom/my/app/MyActivity;
大家早上好 我是 SO 的新手,我问这个问题是因为我必须重新调整昨天的算法和编程考试。在 CodeBlocks 上输入我的考试时,我遇到了一个我无法修复的错误。基本上,考试要求从数据结构中的文件(格式
几乎没有人在 ADT 中成功导入 Apklib(aar) 引用。这是一个 issues ,但没有答案。在问题中,这是一个 solution有效但丑陋。 作为 ADT 的粉丝,我不想使用 Android
我遇到了从 安装 ADT 的问题 https://dl-ssl.google.com/android/eclipse/ 和 http://dl-ssl.google.com/android/eclip
在使用 Eclipse 开发时,尝试安装 hibernate、storm 和其他一些 ORM/DAO 生成器工具时,eclipse 停止正常工作。 我有两种错误:1 在构建它时说“运行 android
这个问题在这里已经有了答案: Update Eclipse with Android development tools v. 23 (43 个回答) 关闭8年前。 我从这个网站下载并安装了带有 an
我在创建 dynArray 并向其添加元素时遇到了问题。我不确定如何为它分配内存。我最近才开始提出建议,因此非常感谢您的帮助。 typedef struct{ doube *darray; i
假设我有一个 ADT 和类型类 Foo像这样: sealed trait A case class A1() extends A case class A2() extends A case clas
我正在使用 scala 驱动程序与 mongodb 进行 IO 操作。我的Scala版本是2.11.11 mongo db 驱动程序是 2.2.0 . 我以关于 ADT 的文档为例: sealed c
我正在尝试用 C++ 实现二叉搜索树(用于大学类(class)),但在访问我在 .h 文件中定义的结构时遇到了一些困难。 这是我的 .h 文件: class BST { protected:
我有两个空中应用程序并将它们安装在桌面上并执行它们,并且任务栏管理器中列出了两个空中进程。现在如何从另一个空中应用程序执行一个空中应用程序的某些方法? 最佳答案 使用LocalConnection .
我不是数学家,但我觉得存在一些逻辑问题。 让我们从 ADT 原语开始,例如“unit”类型。它应该在类型集的上下文中扮演“1”的角色。但事实上,我们看到“unit”类型在C、C++等中经常被称为“vo
在 C 中创建 ADT 时返回结构体指针的原因是什么?例如: typedef struct some_thing st_t; // system interface st_t* init_syste
更新到 ADT 22.3 后,出现此错误: [2013-11-09 17:56:27 - Dex Loader] Unable to execute dex: java.nio.BufferOverf
我是一名优秀的程序员,十分优秀!