Hi All,<div>I&#39;d been looking for a mechanism to generate &quot;C&quot; from Haskell as EDSL - to develop an OS. In the process, I ran into the Barrelfish project ( <a href="http://www.barrelfish.org">http://www.barrelfish.org</a>) - They seem to be using Haskell based &quot;DSL generator&quot; called Filet-O-Fish - <a href="http://www.barrelfish.org/fof_plos09.pdf">http://www.barrelfish.org/fof_plos09.pdf</a></div>
<div><br></div><div>It will take me some time understand Filet-O-Fish more but if any of the Haskell experts have already looked at it, I was wondering if I could use Filet-O-Fish to generate EDSL&#39;s for arbitrary things. For example, lets say, I wanted to write a EDSL for Linux&#39;s network drivers. Could I use Filet-O-Fish and generate a EDSL that allows me to write a driver in a really highlevel manner and then generate the &quot;C&quot; code for it?</div>
<div><br>-- <br>Regards,<br>Kashyap<br>
</div>