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 Oct
|15:30 - 15:55|
|DOI Authorizer link|
|15:55 - 16:20|
Ricardo Giuliani MartiniUniversity of Minho, Portugal, Pedro Rangel HenriquesUniversity of Minho, PortugalDOI Authorizer link
|16:20 - 16:45|
Mark GrebeUniversity of Kansas, USA, David YoungUniversity of Kansas, USA, Andy GillUniversity of Kansas, USADOI Authorizer link