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 | |||
15:30 25mTalk | A Haskell Compiler for Signal Transforms GPCE 2017 DOI Authorizer link | ||
15:55 25mTalk | Automatic Generation of Virtual Learning Spaces Driven by CaVa<sup>DSL</sup>: An Experience Report GPCE 2017 Ricardo Giuliani Martini University of Minho, Portugal, Pedro Rangel Henriques University of Minho, Portugal DOI Authorizer link | ||
16:20 25mTalk | Rewriting a Shallow DSL using a GHC Compiler Extension GPCE 2017 Mark Grebe University of Kansas, USA, David Young University of Kansas, USA, Andy Gill University of Kansas, USA DOI Authorizer link |