Embedded domain specific languages (EDSLs) are used to representspecial-purpose code in a general-purpose language and they are used forapplications like vector calculations and run-time code generation. Often,code in an EDSL is compiled to a target (e.g. GPU languages, JVM bytecode,assembly, JavaScript) and needs to interface with other code that is availableat that level but uses other data representations or calling conventions.We present an approach for safely making available such APIs in atyped EDSL, guaranteeing correct conversions between datarepresentations and the respect for calling conventions. When the codebeing interfaced with is the result of static compilation of hostlanguage code, we propose a way to auto-generate the neededboilerplate using meta-programming. We instantiate our technique withJavaScript as the target language, JS-Scala as the EDSL, Scala.js asthe static compiler and Scala macros to generate theboilerplate, but our design is more generally applicable. We provideevidence of usefulness of our approach through a prototypeimplementation that we have applied in a non-trivial code base.
展开▼
