Beste Antwort
Es hängt davon ab, was Sie unter „Systemprogrammierung“ und „am besten“ verstehen.
Zum Beispiel kann ATS (http://www.ats-lang.org/) alle Ihre Kriterien und mehr erfüllen – es ist eine sichere Sprache mit Parallelitätsfunktionen auf hoher Ebene, die eine Funktion unterstützt, …