Idly dreaming here, without enough understanding to even know how much this makes sense in this context, of:

- Erlang-style concurrency (which I haven't tried so don't understand but hear good things about always)

- With "platform" level capability security...

- ... and language-level capability security

- But with a sound and expressive type system like F# or similar

- Oh, and garbage collection