Interesting!  Euterpea looks very cool.  I may just have to learn Haskell sometime and try it out.

BTW, the compilation tools I mentioned are part of the Kansas-Lava package in Haskell.  You can have a look at the group's page http://www.ittc.ku.edu/csdl/fpg/software.html
Dr. Gill is the researcher in charge of the group.




On Sun, Feb 3, 2013 at 9:38 AM, Simon Wise <simonzwise@gmail.com> wrote:
On 02/02/13 07:32, Charles Z Henry wrote:


One topic of research where I'm at (ITTC/KU) concerns compilation from
Haskell (a relational language) to verilog or vhdl for synthesis on
fpga's--not going through the usual chain of defining a processor but
actually building the specific functions (greater utilization this way as I
understood it).  Maybe someday Faust (the audio relational language) will
have a similar compiler target like this too

have you seen this:

http://haskell.cs.yale.edu/euterpea-2/

so the combination of using Euterpea in Haskell then compiling to vhdl or verilog seems quite promising, and possibly a way to make audio use of FPGAs in the context of a language that may be a more natural way to write for logic implementations than many. I suspect Haskell's style of functional language and the very serious efforts working with compilers for it could lead somewhere.

It's been on my TODO list for a few months now, recommended by my lecturer for Programming Paradigms (we used F#), but the compiling to vhdl is news ... too much to look at, too little time!

Simon

_______________________________________________
Linux-audio-user mailing list
Linux-audio-user@lists.linuxaudio.org
http://lists.linuxaudio.org/listinfo/linux-audio-user