Melhor resposta
Depende do que você entende por “programação de sistemas” e “melhor”.
Por exemplo, ATS (http://www.ats-lang.org/) pode atender a todos os seus critérios e muito mais – é “uma linguagem segura com recursos de simultaneidade de alto nível, suporte …