作者探讨了在结合函数式与关系式编程的“λFS”语言中添加递归时面临的理论挑战，特别是评估顺序对终止性的影响。文章指出，为避免依赖传统的域理论，处理非终止性问题变得复杂，因为即使在无类型Lambda演算中，按名调用和按值调用也会导致不同的终止行为。
背景
λFS是一种研究用编程语言，旨在统一函数式编程概念与关系代数及类Datalog查询，将关系视为有限函数。
- 来源
- Lobsters
- 发布时间
- 2026年6月29日 22:47
- 评分
- 6.0 / 10
作者探讨了在结合函数式与关系式编程的“λFS”语言中添加递归时面临的理论挑战，特别是评估顺序对终止性的影响。文章指出，为避免依赖传统的域理论，处理非终止性问题变得复杂，因为即使在无类型Lambda演算中，按名调用和按值调用也会导致不同的终止行为。
λFS是一种研究用编程语言，旨在统一函数式编程概念与关系代数及类Datalog查询，将关系视为有限函数。