也许是动态调度、智能构造函数、Template Haskell？
我正在查看 HaskellWiki >；存在类型 # 动态调度机制。 我在想，Template Haskell 中应该有一种方法来获取这部分： class Shape_ a where ... type Ra…
Haskell 中的多项式因式分解
在 hammar 的帮助下，我制作了一个模板 Haskell 位，它编译 $(zModP 5) 为 newtype Z5 = Z5 Int instance Additive.C Z5 where (Z5 x) + (Z5 y) = Z5 …
如何动态调用同一签名中多个模块中定义的函数
我定义了很多函数（比如 100 多个），每个函数都执行特定的工作，但具有相同的签名。这就像： module R001 (run) where run = module R002 (run) wher…
如何检查 Template Haskell 中引用的数据构造函数名称？
我正在尝试学习一些 Haskell 模板。作为练习，我编写了一个可以生成诸如 isLeft 和 isRight 之类的函数（受到 这个问题）。这是我的尝试： isA connam…
如何摆脱 $(...) 和 [| ... |] 使用模板 Haskell 函数时的语法？
我正在尝试学习一些 Haskell 模板。作为练习，我编写了一个可以生成诸如 isLeft 和 isRight 之类的函数（受到 这个问题）。这是我的尝试： isA connam…
为什么 Safe Haskell 不支持 Template Haskell？
Safe Haskell 的文档指出： [...] 不幸的是，Haskell 模板可用于破坏模块边界，因此可用于访问此构造函数。 [...] 使用 -XSafe 标志来编译 Danger 模…
Haskell -- 如何使用新的 4 参数准引用器
看起来准引用语法已更改为现在接受 4 个参数 [ 链接]。有人用过吗？谢谢。我只想构建一些非常非常简单的东西，网络上的示例现在不起作用。 提前致谢。…
Haskell 模板：zipn
我正在阅读 模板 Haskell 教程 来自 archive.org，因为它从 haskell.org 丢失，并注意到它已损坏，就好像随机部分已被取出。 我希望了解他们对 zipn …
有没有针对不懂 Lisp 的人的 Template Haskell 教程？
我想学习 Template Haskell，但我发现所有教程要么假设你学过 lisp 并知道什么是 lisp 宏，要么你知道一些 cs 理论术语 - 比如拼接、准引用等…… - …
Template Haskell 声明中的局部变量
我正在阅读 pozorvlak 在 Template Haskell 上的婴儿步骤帖子，试图自己理解它，并且我遇到了这个部分： 回想一下，我们试图以编程方式生成 data Fred…
- 共 1 页
- 1
