Re: [Haskell-cafe] real-time audio processing [Was: can Haskell do everyting as we want?]

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. As much as I love EDSL's, they are particularly hard to sell to entrenched engineers without substantial effort or mandate. 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... On Fri, Aug 6, 2010 at 11:34 AM, C K Kashyap wrote:

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 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 wrote:

...

...

+ 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

job.vranish: 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