Makale, Roc dilinde yazılmış DEFLATE sıkıştırma uygulaması olan roc-deflate ile, aşırı optimizasyonu ve mimariye özgü SIMD komutlarını kullanmasıyla tanınan son teknoloji C kütüphanesi libdeflate'in performansını karşılaştıran etkileyici bir kıyaslama çalışması sunuyor. Bağlam, önceki bir sonuçla oluşturuluyor: Lean 4 dilinde geliştirilen lean-zip, Rust tabanlı miniz_oxide'yi geride bıraksa da libdeflate'in performansına ulaşamamıştı. Bu çalışma, Lean gibi bir teorem kanıtlama aracı değil, Roc gibi çalışma zamanı performansına odaklanan saf fonksiyonel bir dilin, C'nin performans sınırına ne kadar yaklaşabildiğini belirlemeyi amaçlıyor. Yazar, ... üzerinde önemli optimizasyon çalışmaları yürüttü.

Konular: Programlama Dilleri, Performans Mühendisliği ve Fonksiyonel Programlama

SiteM’de tam özet, flashcard ve quiz →

Orijinal kaynak: rtfeldman.com

Kaynak: sitem.co — paylas.io yer imi / keşif katmanı.