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

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