生成代码的编译时错误？

Question

是否有一个类型系统可以扩展宏并在最终执行的生成代码上为您提供类型错误？

一个实际的例子可能是动态生成一些 SQL，但会根据一些约束（在执行代码之前）从编译器接收语法错误。

另一个例子是生成一个带有 n 个嵌套 for 循环的函数来生成 n 个组合。

通常生成源代码是不受欢迎的，因为它将是“字符串类型的”，所以我想知道是否有一个类型系统可以在编写生成代码的代码时使用约束为您提供有价值的反馈。

Answer 1

最接近您想到的内容是typed tagless final approach。虽然严格来说它不是一个宏特性，但它的行为与宏扩展非常相似（我会在许多方面提出更好的观点。）与您相关的是扩展/转换的表达式是强类型构造 - 目标表达式类型直接呈现为元语言类型并由编译器检查。

这种方法假设您在元语言中有一个足够表达的类型系统，涵盖了您的目标语言的类型。作为has been demonstrated，您可以通过这种方式覆盖SQL 的一个大子集（实际上是嵌套关系演算，它直接转换为SQL，并且与最终无标记方法的所有应用程序一样，通过构造强类型化。）

如果您查看上面的参考资料，您会发现很多 ML 示例，因此您应该可以轻松使用 F# 来实现此目的。