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

[John Van Enk]

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 <ckkashyap at gmail.com> 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 <job.vranish at 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 <dons at 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 at haskell.org
>> http://www.haskell.org/mailman/listinfo/haskell-cafe
>>
>>
>
>
> --
> Regards,
> Kashyap
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20100806/6e41a3ee/attachment.html