Comment by Arelius

Interesting that none of those systems are in active usage...

> Eventually all mainstream OS will have such type of languages and C will be legacy.

That's just speculation. Personally I have high hopes for languages with optional-only GC, and much stricter memory management principals. Ala, Rust.