sql - 将类型和它们之间的纯函数（以类似 ML 或类似 Haskell 的语言）编译为 SQL

Question

有时我们需要存储二叉树或森林或其他代数类型的数据项集。可以通过某种方式完成。最好也仅使用 SQL 对这些数据执行一些转换（例如，重新平衡二叉树）。

我对一种在它们之间声明类型和纯函数的方法（用类似 ML 或类似 Haskell 的语言）并将它们编译为 SQL 感兴趣；我希望，它可以让我重用标准算法的代码，例如hedge_union。它存在吗？可能是，这个编译器已经实现了（但是我不能谷歌它），或者 Coq 中的库存在，它可以提取 SQL 中的代码，或者其他东西。

Answer 1

参见最近关于从嵌入式函数式语言（如Ferry ）生成 SQL 的研究工作——本质上是类型化的、语言集成的查询。

另请参阅：Ferry — 数据库支持的程序执行和DSH — 数据库支持的 Haskell。