Thanks for these, and also Stephen&#39;s extensive list.  I think it&#39;s fair to say that I&#39;m just exploring the space and don&#39;t know what I&#39;m doing yet.  As such, I&#39;m pretty open to exploring ideas.  I&#39;m only familiar with a small fraction of these, so I&#39;ve got some reading to do now! <div>
<br></div><div>For my toy language I&#39;ve been working on a csound-like DSP language which is compiled to Csound code (I am slightly familiar with Atom, and moreso with Feldspar, but they&#39;re both quite different in usage style from what I&#39;m aiming at).  Essentially the Csound module from Haskore, but less verbose and typed.  I&#39;ve implemented it in a final-tagless style (at least as far as I understand Kiselyov, Carette, and Shan), which has the very nice benefit that even though I&#39;m currently targetting csound I could target other languages relatively simply.</div>
<div><br></div><div>When I said I wanted to use functions from Data.List and Control.Monad, I meant that I wanted to use them to manipulate expressions in the edsl, which has worked very well so far.  In fact everything has worked so well, and has been so simple to implement, that I figure I must be missing something important.</div>
<div><br></div><div>John<br><br><div class="gmail_quote">On Tue, Oct 5, 2010 at 4:29 PM, Sterling Clover <span dir="ltr">&lt;<a href="mailto:s.clover@gmail.com">s.clover@gmail.com</a>&gt;</span> wrote:<br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">
Stephen&#39;s list is great! Two more points of reference from the recent ICFP -- Geoff Mainland&#39;s Nikola [1], and a nice talk on Kansas Lava [2].<br>
<br>
[1] <a href="http://www.eecs.harvard.edu/~mainland/publications/" target="_blank">http://www.eecs.harvard.edu/~mainland/publications/</a><br>
[2] <a href="http://www.scribd.com/doc/38559736/kansaslava-hiw10" target="_blank">http://www.scribd.com/doc/38559736/kansaslava-hiw10</a> -- hopefully the video from the implementor&#39;s workshop to appear soon.<br>
<br>
I suspect however, that it will prove hard to impossible to reuse Data.List and Control.Monad functions directly. You don&#39;t want to invoke functions at compile time, but represent invocations.<br>
<br>
Cheers,<br>
Sterl.</blockquote></div><br></div>