Generic Monadic Constructs for Embedded Languages
Generic Monadic Constructs for Embedded Languages
复制标题
嵌入式语言的通用 Monadic 结构
DOI：
--
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
Josef Svenningsson
中科院分区：
文献类型：
--
作者：
Anders Persson;E. Axelsson;Josef Svenningsson
我们提出了一个用于嵌入式语言的泛型一元构造库。它是语法的扩展，语法是用于定义和处理通用抽象语法的Haskell库。到目前为止，语法最适合于实现基于纯、无副作用的表达式的语言。所提供的扩展允许纯表达式还包含受控副作用，从而支持依赖破坏性更新来提高效率的表达式的表示。我们以用语法实现的嵌入式语言Feldspar为例，说明了该扩展的有效性。
We present a library of generic monadic constructs for embedded languages. It is an extension of Syntactic, a Haskell library for defining and processing generic abstract syntax. Until now, Syntactic has been mostly suited to implement languages based on pure, side effect free, expressions. The presented extension allows the pure expressions to also contain controlled side effects, enabling the representation of expressions that rely on destructive updates for efficiency. We demonstrate the usefulness of the extension by giving examples from the embedded language Feldspar which is implemented using Syntactic.