It's not an EDSL (though I'm a huge fan of the concept) because we wan't to pitch the language to programmers who currently use C/Ada.<div><br></div><div>As much as I love EDSL's, they are particularly hard to sell to entrenched engineers without substantial effort or mandate.</div>
<div><br></div><div>Dangling a few neat features on top of a comfortable tool set hopefully will stimulate some curiosity and help sell Haskell/EDSL's in the future...</div><div><br><div class="gmail_quote">On Fri, Aug 6, 2010 at 11:34 AM, C K Kashyap <span dir="ltr"><<a href="mailto:ckkashyap@gmail.com">ckkashyap@gmail.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Hey John,<br>The language you are working on - is it a EDSL in Haskell? If not, had you considered such an option?<br>
<br><div class="gmail_quote"><div><div></div><div class="h5">On Thu, Aug 5, 2010 at 8:11 PM, Job Vranish <span dir="ltr"><<a href="mailto:job.vranish@gmail.com" target="_blank">job.vranish@gmail.com</a>></span> wrote:<br>
</div></div><blockquote class="gmail_quote" style="margin:0pt 0pt 0pt 0.8ex;border-left:1px solid rgb(204, 204, 204);padding-left:1ex"><div><div></div><div class="h5">Yeah Atom is pretty slick, though unfortunately it's not quite powerful enough for much of the stuff that we do. <br>
<br>John Van Enk and I are actually working on a language that's similar to C (and compiles to C), but has polymorphism, type inference and other goodies. The goal is to make working on embedded systems a bit less painful, while still being able to do anything that C can do (like run on an 8 bit micro).<br>
Hopfully, if things go as planned, we'll have a working beta out by the end of the month :)<br><font color="#888888"><br>- Job</font><div><div></div><div><br><br><div class="gmail_quote">On Wed, Aug 4, 2010 at 5:58 PM, Don Stewart <span dir="ltr"><<a href="mailto:dons@galois.com" target="_blank">dons@galois.com</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="border-left:1px solid rgb(204, 204, 204);margin:0pt 0pt 0pt 0.8ex;padding-left:1ex">
job.vranish:<br>
<div>> + 1<br>
><br>
><br>
> This is probably the biggest obstacle to using Haskell where I work. (Aviation<br>
> industry, software for flight management systems for airplanes)<br>
><br>
> We often need to perform some computations with hard deadlines, say every 20ms,<br>
> with very little jitter.<br>
> Major GC's spoil the fun; It's quite easy to have a major GC take longer than<br>
> 20ms, and currently they are not "pauseable" (nor is it trivial to make them<br>
> so).<br>
><br>
> It would be very nice to have some annotation/DSL/compiler-flag that would let<br>
> me run a small block of mostly regular haskell code under hard, real-time<br>
> constraints.<br>
><br>
> Hmm, it looks like the HASP project is working on some of this, though I'm not<br>
> sure how portable their work is back to GHC: <a href="http://hasp.cs.pdx.edu/" target="_blank">http://hasp.cs.pdx.edu/</a><br>
><br>
<br>
</div>Or look at EDSLs, like Atom:<br>
<br>
<a href="http://hackage.haskell.org/package/atom" target="_blank">http://hackage.haskell.org/package/atom</a><br>
</blockquote></div><br>
</div></div><br></div></div><div class="im">_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></div></blockquote></div><br><br clear="all"><br>-- <br>Regards,<br><font color="#888888">Kashyap<br>
</font><br>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
<br></blockquote></div><br></div>