[erlang-questions] Erlang and Ada (and now Hume)

[jm]

Following this thread made me wonder if there was a functional
programming language suitable for hard real-time applications, the sort
of thing that Ada is normally used for, and, if not, why not. Searching
for "hard realtime functional programming language" I came across this paper

http://homepages.inf.ed.ac.uk/stg/workshops/TFP/book/Hammond/TFP03-Hammond/tfp03.pdf

In which it lists the "Essential properties of real-time languages" as
determinacy, bounded time/space, asynchronicity, concurrency,
correctness, and adds periodic scheduling, and interrupts and polling.

They go on to discuss the different approaches taken in designing
real-time languages, either by adapting an existing general language or
by creating a domain specific language. Ada, SPARK Ada, Java, Erlang,
and a few less well known languages get mentioned. Before turning their
attention to why function language haven't seen much application in this
space before (mostly due to bounding space/time). Finally, they turn to
there own language Hume (http://www.hume-lang.org/).

Having only heard of this language in passing before I was wondering
what anyone out there knew and thought about it. There seems to be a few
examples on the website to do with hard real-time application, but as
yet I haven't had the time to look at the language in any detail. Anyone
 had some experience with Hume?

Jeff.