Cel mai bun răspuns
Depinde ce înțelegeți prin „programare de sistem” și „cel mai bun”.
De exemplu, ATS (http://www.ats-lang.org/) poate îndeplini toate criteriile dvs. și multe altele – este un limbaj sigur, cu funcții de concurență la nivel înalt, suport …