Tunes

[Richard Stallman]

    However, we'll stress on the fact that programs
    should rather be made secure and proven correct
    than be kept emulated in paranoid boxes.

I tend to think this is a risky way of doing things.
But it might be worth trying for research.

Also, I think that a language which lacks the escape routes of C, such
as casting pointers, would be hard to use for some purposes.

    The main problem I see is that we want fine-grained dynamic compilation.
    Could the GCC backend be used as some kind of a daemon,
    or be integrated as a library ?

It wouldn't make much sense as a library, but it could be used as a
demon.  It depends how often you want to compile and how fast you want
compilation to happen.  If you want really fast compilation, you
probably need something simpler than GCC.