Najlepsza odpowiedź
To zależy od tego, co rozumiesz przez „programowanie systemów” i „najlepsze”.
Na przykład ATS (http://www.ats-lang.org/) może spełniać wszystkie Twoje kryteria i nie tylko – jest to bezpieczny język z funkcjami współbieżności wysokiego poziomu, obsługujący, ale nie wymagający, funkcji …