evaluation-order

一篇博客文章，讨论了类似λFS的函数式关系查询语言中的求值顺序与非终止性，并引用了在FLOPS 2026上发表的关于有限函数式编程的论文。