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