Un desarrollador ha demostrado que la librería de compresión DEFLATE escrita en Roc, un lenguaje de programación funcional, se acerca significativamente al rendimiento de libdeflate, la implementación estándar en C. En pruebas realizadas con el corpus Silesia, roc-deflate fue, en media, 8,9% más lento que libdeflate en una máquina AMD Ryzen 9 3900X, y solo un 2,6% más lento en un MacBook Pro M1. Aunque no supera al estándar en todos los casos, el resultado es notable dado que Roc prioriza la seguridad de memoria y la pureza funcional sobre la optimización agresiva de hardware.
El artículo destaca que, a diferencia de C, Roc no permite operaciones de memoria no verificadas ni acceso directo a la CPU, lo que garantiza una seguridad superior contra vulnerabilidades como la ejecución remota de código (RCE) detectada recientemente en librerías de compresión. Además, las funciones puras de Roc son deterministas y portables, eliminando efectos secundarios no deseados. Aunque el rendimiento máximo de C sigue siendo superior, este logro valida la viabilidad de usar lenguajes funcionales para tareas de alto rendimiento donde la seguridad es crítica, ofreciendo una alternativa más segura que las implementaciones en C o Rust.
