Scala-Virtualized: linguistic reuse for deep embeddings

Abstract

Scala-Virtualized extends the Scala language to better support hosting embedded DSLs. Scala is an expressive language that provides a flexible syntax, type-level computation using implicits, and other features that facilitate the development of embedded DSLs. However, many of these features work well only for shallow embeddings, i.e. DSLs which are implemented as plain libraries. Shallow embeddings automatically profit from features of the host language through linguistic reuse: any DSL expression is just as a regular Scala expression. But in many cases, directly executing DSL programs within the host language is not enough and deep embeddings are needed, which reify DSL programs into a data structure representation that can be analyzed, optimized, or further translated. For deep embeddings, linguistic reuse is no longer automatic.Scala-Virtualized defines many of the language's built-in constructs as method calls, which enables DSLs to redefine the built-in semantics using familiar language mechanisms like overloading and overriding. This in turn enables an easier progression from shallow to deep embeddings, as core language constructs such as conditionals or pattern matching can be redefined to build a reified representation of the operation itself.While this facility brings shallow, syntactic, reuse to deep embeddings, we also present examples of what we call deep linguistic reuse: combining shallow and deep components in a single DSL in such a way that certain features are fully implemented in the shallow embedding part and do not need to be reified at the deep embedding level.

Extensible, Fast And Secure Scala Expression Evaluation Engine

“…The major problem authors focused on is heterogenous environment which, despite of lots of advantages requires researchers to have expert knowledge in different programming models (aimed at a speci ic component of a computing system: messagepassing libraries, threaded libraries, data parallel programming models etc. It has to be underlined that signi icant difference between our research and OptiML is OptiML's dependency on Scala-Virtualized [26]. Scala-Virtualized is a branch of the Scala compiler and standard library that contains a few additions to provide even better support for embedded DSLs.…”

LMS-Verify: abstraction without regret for verified systems programming

“…Scala dialects provide flexible forms of overloading that extend to language built-ins like conditionals [70]. An expression such as…”

“…Blame Assignment To assign blame for contract violations, we use Scala's implicit SourceContext facility [70]. Whenever the Scala compiler encounters a method call that requires a SourceContext argument maked as implicit, the compiler will synthesize such an object and initialize it with the source file and line number at the method call site.…”

Functional pearl: a SQL to C compiler in 500 lines of code

“…Methods like infix_+ can serve as smart constructors that perform optimizations on the fly while building the IR [18]. With some tweaks to the Scala compiler (or alternatively using Scala macros) we can extend this approach to lift language built-ins like conditionals or variable assignments into the IR, by redefining them as method calls [15].…”