Performansa etkisi olmayan soyutlamalar (bkz: zero-cost abstraction) kullanılarak C/C++ gibi dillerin performansını yakalayan biraz da daha yüksek seviye bir sistem programlama dili. Hafıza yönetimini bir garbage collector kullanmasa da değişkenlere erişim konsepti ile otomatik olarak sağlaması sayesinde hafıza güvenliği bu işlemin manuel yapıldığı dilllere göre yüksektir.
Programlama hatalarının (bkz: bug) çoğunluğunu derleme esnasında yakalayarak koddaki hata miktarını azaltmayı hedefler. Bu yüzden ilk başlanıldığında alışılması zaman alan konseptler kullanır, kod derlenenen kadar epey çaba harcamak gerekir, fakat derlenen kod genelde hakikaten hatasız çalışır.