> Where are other interesting applications, which can show people
> the power of this language - especially safety/security of an application?

This is a major goal of Desert Spring-Time. Whilst using bytecode, it
will probably not be very performant (ocamljit will help a small
amount here I think) compared to say a native code version.

However, the goals are: reliability, safety, and not so important:
portability. I think processors are more than fast enough these days
to accomodate a slower running kernel environment .. in fact, the
mpeg2 decoder project should help prove/disprove this theory.

Jonathan