问题标签 [ghc-generics]

问问题

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

32 问题
Newest
Active
Bountied
318
Unanswered
0 投票
1 回答
48 浏览

haskell - 使用泛型静态分析类型

为了FromRow在简单产品上一般派生 -kind-of-class 的实例，我想静态分析一个类型而不实际提供任何具体术语。

例子：

“诀窍”是我在获取任何数据之前需要 rowrep - 可能会覆盖某些甚至所有列的默认值。在我想使用 rowrep 的时间点我还没有一个术语，因此Proxy. 编写实例FromRow可能会变得非常乏味且容易出错，所以我想我应该为类型添加一个default实现。Generic但是，它似乎获得了我需要提供给定类型的术语（from :: a -> Rep a）的通用表示，类型本身的知识是不够的。

事实上，我们可以看到这不仅仅是 API 的噱头，通用表示确实具有值：

有没有一种方法可以Generic用来分析事物的结构和类型，即我们不关心实际值的地方？如果做不到这一点，TH 会涵盖这个用例吗？

0 投票
1 回答
38 浏览

haskell - 如何使用syb mkM

我刚刚发现了 syb 库的强大功能并试图找到它的限制。

我有everywhere工作：

mkT 和 mkM 看起来很相似，我看不出 mkM 不适用于 printMyInt 的原因

甚至pure

ghc 8.10.7 和 syb 0.7.2.1


12345678910