Rewriting a Shallow DSL using a GHC Compiler Extension
Embedded Domain Specific Languages are a powerful tool for developing customized languages to fit specific problem domains. Shallow EDSLs allow a programmer to program using many of the features of a host language and its syntax, but sacrifice
performance. Deep EDSLs provide better performance and flexibility, through the ability to manipulate the abstract syntax tree of the DSL program, but sacrifice syntactical similarity to the host language. Using Haskino, an EDSL designed for small embedded systems based on the Arduino line of microcontrollers, and a compiler plugin for the Haskell GHC compiler, we show a method for combining the best aspects of shallow and deep EDSLs. The programmer is able to write in the shallow EDSL, and have it automatically transformed into the deep EDSL. This allows the EDSL user to benefit from powerful aspects of the host language, Haskell, while meeting the demanding resource constraints of the small embedded processing environment.
this URL might only work when visiting from a http://www.sigplan.org/ URL.
Tue 24 OctDisplayed time zone: Tijuana, Baja California change
15:30 - 17:00
|A Haskell Compiler for Signal Transforms|
GPCE 2017DOI Authorizer link
|Automatic Generation of Virtual Learning Spaces Driven by CaVa<sup>DSL</sup>: An Experience Report|
Ricardo Giuliani Martini University of Minho, Portugal, Pedro Rangel Henriques University of Minho, PortugalDOI Authorizer link
|Rewriting a Shallow DSL using a GHC Compiler Extension|
Mark Grebe University of Kansas, USA, David Young University of Kansas, USA, Andy Gill University of Kansas, USADOI Authorizer link