Effective quotation: relating approaches to language-integrated query
Effective quotation: relating approaches to language-integrated query
复制标题
有效引用：语言集成查询的相关方法
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
P. Wadler
中科院分区：
文献类型：
--
作者：
J. Cheney;S. Lindley;Gabriel Radanne;P. Wadler
在许多不同的语言设计中已经探索了存储集成查询技术。我们考虑Links和F#使用的两种不同的类型安全方法。这两种方法都提供了丰富的动态查询生成功能，因此相当于一种异构分级计算的形式，但迄今为止，还没有正式的调查，他们的相对表达能力。我们提出了两个核心演算Eff和Quot，分别捕捉语言集成查询的基本方面，使用链接和LINQ中的引用效果。我们表明，通过翻译从EFF报价和回来，这两种方法是等价的表达。基于从Eff到Quot的翻译，我们扩展了一个简单的Links编译器来处理查询。
Language-integrated query techniques have been explored in a number of different language designs. We consider two different, type-safe approaches employed by Links and F#. Both approaches provide rich dynamic query generation capabilities, and thus amount to a form of heterogeneous staged computation, but to date there has been no formal investigation of their relative expressiveness. We present two core calculi Eff and Quot, respectively capturing the essential aspects of language-integrated querying using effects in Links and quotation in LINQ. We show via translations from Eff to Quot and back that the two approaches are equivalent in expressiveness. Based on the translation from Eff to Quot, we extend a simple Links compiler to handle queries.