haskell - 模板haskell范围之外的编译时间代码重写？

Question

是否可以创建一个在编译时从模板 haskell 引号之外重写 haskell 代码的函数？

例如:

differentiate :: Floating a => (a -> a) -> a -> (a,a)
differentiate = -- what goes here?

f :: Num a => a -> a
f = sin

g :: Num a => a -> (a,a)
g = differentiate f

并在编译时将 g 转换为:

g x = (sin x, cos x)

我希望我的“差异化”函数被传递给“f”的 AST，并让我在编译之前重写它。据我所知，如果不传递函数的完整语法，即“g = distinct sin”，就不能在模板 haskell 中执行此操作。

谢谢

Answer 1

您正在谈论计划中的宏。答案是不。 Haskell 函数必须是“引用透明的”，这意味着如果你给它两个在指称上相等的参数，结果必须在指称上相等。即，每个 f一定有

f (1 + 1) = f 2

如果 f如果是宏，则不一定如此。然而，这个属性对于语言的“纯洁性”是必不可少的——是什么让 Haskell 很好地推理和重构。

但是，在 automatic differentiation 上有大量工作要做。在 Haskell 中，没有一个需要宏系统——抽象建模(和类型类使其看起来不错)是必需的。