Stream Processing for Embedded Domain Specific Languages
Paper i proceeding, 2014

We present a library for expressing digital signal processing (DSP) algorithms using a deeply embedded domain-specific language (EDSL) in Haskell. The library supports definitions in functional programming style, reducing the gap between the mathematical description of streaming algorithms and their implementation. The deep embedding makes it possible to generate efficient C code. The signal processing library is intended to be an extension of the Feldspar EDSL which, until now, has had a rather low-level interface for dealing with synchronous streams. However, the presented library is independent of the underlying expression language, and can be used to extend any pure EDSL for which a C code generator exists with efficient stream processing capabilities. The library is evaluated using example implementations of common DSP algorithms and the generated code is compared to its handwritten counterpart.

synchronous programming

Embedded domain specific language

data ow

Stream processing

Digital Signal Processing

code generation

observable sharing


Markus Aronsson

Chalmers, Data- och informationsteknik, Programvaruteknik

Emil Axelsson

Chalmers, Data- och informationsteknik, Programvaruteknik

Mary Sheeran

Chalmers, Data- och informationsteknik, Programvaruteknik

Proceedings of the 26th 2014 International Symposium on Implementation and Application of Functional Languages

Vol. 26th 8:1-8:12


Informations- och kommunikationsteknik



Datavetenskap (datalogi)

Mer information