I think they're a strong contender... it's somehow simpler than Rust
then again the correctness guarantee may be weaker??