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

Question

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

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

Answer 1

参见例如最近关于从嵌入式函数语言生成SQL的研究工作，例如Ferry - 基本类型化，语言集成的查询。

另请参阅：Ferry — Database-Supported Program Execution和DSH — Database-Supported Haskell。