Компиляторы системных языков программирования, таких как C, С++, D, Rust, порождают ассемблерный код программы, приближенный к вычислительной модели самой системы, на которой выполняется ассемблер. Эти компиляторы способны статически глубоко анализировать исходный код программы, и создают исполняемые модули с минимальными накладными расходами по производительности в сравнении с не-системными языками программирования с более абстрактной вычислительной моделью. Например, в сравнении со скриптовыми языками вроде JavaScript и Python, или в сравнении с классическими JIT-компилируемыми языками, такими как Java и C#.
Системные языки программирования подходят для таких задач, в которых важна вычислительная производительность создаваемой программы. Практическим недостатком системных языков программирования, с точки зрения удобства разработки, является низкая скорость компиляции, поскольку глубокий статический анализ исходного кода это, как правило, ресурсозатратная задача.
К