Bedste svar
Det afhænger af, hvad du mener med “systemprogrammering” og “bedst.”
For eksempel kan ATS (http://www.ats-lang.org/) muligvis opfylde alle dine kriterier og mere – det er et sikkert sprog med højt niveau samtidige funktioner, understøttelse af men ikke mandat …