Feldspar: A domain specific language for digital signal processing algorithms