Hey John, The language you are working on - is it a EDSL in Haskell? If not, had you considered such an option?
On Thu, Aug 5, 2010 at 8:11 PM, Job Vranish <job.vran...@gmail.com> wrote: > Yeah Atom is pretty slick, though unfortunately it's not quite powerful > enough for much of the stuff that we do. > > 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). > Hopfully, if things go as planned, we'll have a working beta out by the end > of the month :) > > - Job > > > On Wed, Aug 4, 2010 at 5:58 PM, Don Stewart <d...@galois.com> wrote: > >> job.vranish: >> > + 1 >> > >> > >> > This is probably the biggest obstacle to using Haskell where I work. >> (Aviation >> > industry, software for flight management systems for airplanes) >> > >> > We often need to perform some computations with hard deadlines, say >> every 20ms, >> > with very little jitter. >> > Major GC's spoil the fun; It's quite easy to have a major GC take longer >> than >> > 20ms, and currently they are not "pauseable" (nor is it trivial to make >> them >> > so). >> > >> > It would be very nice to have some annotation/DSL/compiler-flag that >> would let >> > me run a small block of mostly regular haskell code under hard, >> real-time >> > constraints. >> > >> > Hmm, it looks like the HASP project is working on some of this, though >> I'm not >> > sure how portable their work is back to GHC: http://hasp.cs.pdx.edu/ >> > >> >> Or look at EDSLs, like Atom: >> >> http://hackage.haskell.org/package/atom >> > > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > > -- Regards, Kashyap
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe