Flix：一种用于语言集成数据存储的设计

《Proceedings of the ACM on Programming Languages》：Flix: A Design for Language-Integrated Datalog

本文概述Flix语言中的Datalog功能，展示如何编写Datalog函数及通过第一类程序值、rho抽象、参数多态与类型类实现模块化封装。改进特性包括inject/query构造、头/守卫表达式、函数性谓词及格语义，应用于Ullman算法分层、Ford-Fulkerson最大流和上下文相关程序分析（如IFDS/IDE算法），达成模块化、多态、类型化和声明式设计目标。

　　

摘要

我们全面介绍了Flix编程语言中的Datalog功能。我们展示了程序员如何编写作为Datalog程序实现的函数，并演示了如何使用一等Datalog程序值、rho抽象、参数多态性和类型类来构建模块化且可重用的Datalog程序库。我们描述了若干提升Flix中Datalog编程易用性、灵活性和表达能力的特性，包括inject和query程序结构、head和guard表达式、函数谓词、格语义等。

我们通过几个应用实例来说明Flix中的Datalog编程，包括Ullman算法的实现（用于对Datalog程序进行分层处理）、Ford-Fulkerson算法（用于求解最大流问题），以及IFDS和IDE算法（用于上下文敏感的程序分析）。IFDS和IDE的实现实现了一个长期目标：为这些算法提供完全模块化、多态化、类型化且声明式的表述方式，使其能够适用于任何抽象领域。