Nejlepší odpověď
Záleží na tom, co myslíte pod pojmem „systémové programování“ a „nejlepší“.
Například ATS (http://www.ats-lang.org/) může splňovat všechna vaše kritéria a ještě více – je to bezpečný jazyk s funkcemi souběžnosti na vysoké úrovni, podporou, ale nikoli mandátem funkčního …