Implementing DSLs in metaOCaml

Guerrero, Miguel López; Pizzi, Edward; Rosenbaum, R. A.; Swadi, Kedar N.; Taha, Walid

doi:10.1145/1028664.1028687

Cited by 7 publications

(7 citation statements)

References 5 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…These languages achieve the embedding in different ways [4,8,14,30], but this is always reflected in the type signatures. In the context of Scala, there are additional problems with type inference and implicit conversions, however, we omit those from the discussion as language specific.…”

Section: Motivationmentioning

confidence: 99%

Yin-yang: concealing the deep embedding of DSLs

Jovanović

Shaikhha

Stucki

et al. 2014

Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences

View full text Add to dashboard Cite

Deeply embedded domain-specific languages (EDSLs) intrinsically compromise programmer experience for improved program performance. Shallow EDSLs complement them by trading program performance for good programmer experience. We present Yin-Yang, a framework for DSL embedding that uses Scala macros to reliably translate shallow EDSL programs to the corresponding deep EDSL programs. The translation allows program prototyping and development in the user friendly shallow embedding, while the corresponding deep embedding is used where performance is important. The reliability of the translation completely conceals the deep embedding from the user. For the DSL author, Yin-Yang automatically generates the deep DSL embeddings from their shallow counterparts by reusing the core translation. This obviates the need for code duplication and leads to reliability by construction.

show abstract

Section: Motivationmentioning

confidence: 99%

Yin-yang: concealing the deep embedding of DSLs

Jovanović

Shaikhha

Stucki

et al. 2014

Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences

View full text Add to dashboard Cite

show abstract

“…Compiled embedded DSLs, as studied by Leijen et al [14] and Elliott et al [5], can also be implemented using MSP languages by writing an explicit interpreter and adding staging annotations in a second step [19,4,7]. This is simpler than writing a full compiler but compared to constructing explicit interpreters, "purely" embedded languages that are implemented as plain libraries have many advantages [9].…”

Section: Related Workmentioning

confidence: 99%

Lightweight modular staging

2012

View full text Add to dashboard Cite

Good software engineering practice demands generalization and abstraction, whereas high performance demands specialization and concretization. These goals are at odds, and compilers can only rarely translate expressive high-level programs to modern hardware platforms in a way that makes best use of the available resources.Generative programming is a promising alternative to fully automatic translation. Instead of writing down the target program directly, developers write a program generator, which produces the target program as its output. The generator can be written in a high-level, generic style and still produce efficient, specialized target programs. In practice, however, developing high-quality program generators requires a very large effort that is often hard to amortize.We present lightweight modular staging (LMS), a generative programming approach that lowers this effort significantly. LMS seamlessly combines program generator logic with the generated code in a single program, using only types to distinguish the two stages of execution. Through extensive use of component technology, LMS makes a reusable and extensible compiler framework available at the library level, allowing programmers to tightly integrate domain-specific abstractions and optimizations into the generation process, with common generic optimizations provided by the framework.LMS is well suited to develop embedded domain specific languages (DSLs) and has been used to develop powerful performance-oriented DSLs for demanding domains such as machine learning, with code generation for heterogeneous platforms including GPUs. LMS has also been used to generate SQL for embedded database queries and JavaScript for web applications.

show abstract

“…The usual approach, taken e.g. by MetaOCaml [20], is to use different kinds of syntactic brackets to delineate staged expressions in a DSL, i.e., those that will be part of the generated program from the host program. Staged expressions can have holes, also marked by special syntax, into which the result of evaluating the contained generator stage expression will be placed.…”

Section: Related Workmentioning

confidence: 99%

Language virtualization for heterogeneous parallel computing

Chafi

DeVito

Moors

et al. 2010

Proceedings of the ACM International Conference on Object Oriented Programming Systems Languages and Applications

View full text Add to dashboard Cite

As heterogeneous parallel systems become dominant, application developers are being forced to turn to an incompatible mix of low level programming models (e.g. OpenMP, MPI, CUDA, OpenCL). However, these models do little to shield developers from the difficult problems of parallelization, data decomposition and machine-specific details. Most programmers are having a difficult time using these programming models effectively. To provide a programming model that addresses the productivity and performance requirements for the average programmer, we explore a domainspecific approach to heterogeneous parallel programming.We propose language virtualization as a new principle that enables the construction of highly efficient parallel domain specific languages that are embedded in a common host language. We define criteria for language virtualization and present techniques to achieve them. We present two concrete case studies of domain-specific languages that are implemented using our virtualization approach.

show abstract

Implementing DSLs in metaOCaml

Abstract: Multi-stage programming, program generation, staged interpretersWe demonstrate MetaOCaml [2, 6] as a tool that can be used to obtain efficient implementations for domain-specific languages (DSLs).

Cited by 7 publications

References 5 publications

Yin-yang: concealing the deep embedding of DSLs

Yin-yang: concealing the deep embedding of DSLs

Lightweight modular staging

Language virtualization for heterogeneous parallel computing

Contact Info

Product

Resources

About