Hacker News new | ask | show | jobs
by pjmlp 4241 days ago
> Rust is the only language (I know) ...

Have a look at Cyclone, ATS and ParaSail.